Algebra of Logic Programming

Algebra of Logic Programming

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Seres, S, Spivey, J, Hoare, C
Μορφή:	Conference item
Έκδοση:	MIT Press 1999

Παρόμοια τεκμήρια

Algebra of Logic Programming
ανά: Seres, S, κ.ά.
Έκδοση: (1999)

The Logic of Procedural Readings
ανά: Seres, S, κ.ά.
Έκδοση: (1999)

Algebraic and logic programming /
ανά: Grabowski, J., κ.ά.
Έκδοση: (1988)

A Theory of Programming: Denotational‚ Algebraic‚ and Operational Semantics
ανά: Hoare, C
Έκδοση: (2015)

Algebras for combinatorial search
ανά: Spivey, J
Έκδοση: (2009)

Algebraic logic /
ανά: 366609 Gindikin, S. G.
Έκδοση: (1985)

Algebra and logic
Έκδοση: (1968)

Algebraic logic /
ανά: Halmos, Paul R., (Paul Richard), 1916-
Έκδοση: (1962)

Logic as algebra /
ανά: 181502 Halmos, Paul, κ.ά.
Έκδοση: (1998)

Algebra and Models
ανά: Hoare, C
Έκδοση: (1993)

Models and Algebra
ανά: Hoare, C
Έκδοση: (1993)

Studies in algebraic logic /
ανά: Daigneault, Aubert
Έκδοση: (1974)

Algebra and logic : papers /
ανά: Summer Research Institute of the Australia Mathematical Society (14th : 1974 : University, Victoria)
Έκδοση: (1975)

Logic and boolean algebra /
ανά: 398742 Levitz, Kathleen, κ.ά.
Έκδοση: (1979)

An Algebra For Games of Chance
ανά: Hoare, C
Έκδοση: (1996)

LISP, lore, and logic : an algebraic view of LISP programming, foundations, and applications /
ανά: 330074 Stark, W. Richard
Έκδοση: (1990)

Bohrification of operator algebras and quantum logic
ανά: Landsman, C, κ.ά.
Έκδοση: (2012)

An algebraic introduction to mathematical logic /
ανά: 390016 Barnes, Donald W., κ.ά.
Έκδοση: (1975)

Toposes, algebraic geometry and logic /
ανά: Bucur, Ionel, 1930-1976
Έκδοση: (1972)

Algebraic methods of mathematical logic /
ανά: 404014 Reiger, Ladislav
Έκδοση: (1967)

Logic I : Boolean algebra
ανά: Open University. Mathematics Foundation Course Team
Έκδοση: (1971)

Boolean algebra for computer logic /
ανά: Ennes, Harold E., 1911-
Έκδοση: (1978)

Fuzzy Logical Algebras and Their Applications
ανά: Jianming Zhan, κ.ά.
Έκδοση: (2015-01-01)

Approach to positional logic algebra
ανά: Mykola Kovalov
Έκδοση: (2023-03-01)

On Process−algebraic Extensions of Metric Temporal Logic
ανά: Haase, C, κ.ά.
Έκδοση: (2010)

Algebra of concurrent design
ανά: Hoare, T
Έκδοση: (2012)

From Algebra to Operational Semantics
ανά: He, J, κ.ά.
Έκδοση: (1993)

The logic of engineering design
ανά: Hoare, C
Έκδοση: (1996)

In praise of algebra
ανά: Hoare, T, κ.ά.
Έκδοση: (2012)

Process Algebra: A Unifying Approach
ανά: Hoare, C
Έκδοση: (2004)

Logical Divergence, Logical Entropy, and Logical Mutual Information in Product MV-Algebras
ανά: Dagmar Markechová, κ.ά.
Έκδοση: (2018-02-01)

Categorical Abstract Algebraic Logic: Meet-Combination of Logical Systems
ανά: George Voutsadakis
Έκδοση: (2013-01-01)

A sound and complete logic for algebraic effects
ανά: Staton, S, κ.ά.
Έκδοση: (2019)

Relating Algebraic and Coalgebraic Logics of Knowledge and Update
ανά: Cirstea, C, κ.ά.
Έκδοση: (2006)

Finite algebra and multiple-valued logic /
ανά: Csakany, B., κ.ά.
Έκδοση: (1981)

An algebraic approach to non-classical logics /
ανά: 384000 Rasiowa, Helena
Έκδοση: (1974)

Development of Metamodels as Logical and Algebraic Systems
ανά: Mezhuyev, Vitaliy
Έκδοση: (2014)

Algebraic and logical descriptions of generalized trees
ανά: Bruno Courcelle
Έκδοση: (2017-07-01)

Logical and Algebraic Characterizations of Rational Transductions
ανά: Emmanuel Filiot, κ.ά.
Έκδοση: (2019-12-01)

Algebraic axiomatization of tense intuitionistic logic
ανά: Chajda Ivan
Έκδοση: (2011-10-01)