The generalised completeness of Horn predicate-logic as a programming language

QR kód

The generalised completeness of Horn predicate-logic as a programming language

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Andréka Hajnal Németi István
Dokumentumtípus:	Cikk
Megjelent:	1978
Sorozat:	Acta cybernetica 4 No. 1
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12260

Hasonló tételek

NP-completeness results concerning the transformation of logic programs into attribute grammars
Szerző: Lohrey Markus
Megjelent: (1998)

Completeness in non-simple and stable modal logics
Szerző: Tóth K.
Megjelent: (1980)

The debug slicing of logic programs
Szerző: Szilágyi Gyöngyi, et al.
Megjelent: (2001)

Debug slicing of logic programs [abstract] /
Szerző: Harmath László, et al.
Megjelent: (2000)

The cardinality of closed sets in pre-complete classes in k-valued logics
Szerző: Demetrovics János, et al.
Megjelent: (1979)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

Logical definability of Y-tree and trellis systolic ω-languages
Szerző: Angelo Monti, et al.
Megjelent: (2001)

The Jodie programming language [abstract] /
Szerző: Csáki Tibor, et al.
Megjelent: (2002)

Common logic [abstract] /
Szerző: Demián Tamás
Megjelent: (2010)

Nondeterministic programming within the frame of first order classical logic part 1 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

Nondeterministic programming within the frame of first order classical logic part 2 /
Szerző: Gergely Tamás, et al.
Megjelent: (1980)

On the decision problem of the predicate calculus of mathematical logic Peking, 1958. dec. 1. 8.30 /
Szerző: Kalmár László

Programming language elements for correctness proofs
Szerző: Dévai Gergely
Megjelent: (2008)

Modal logics with function symbols
Szerző: Tóth K.
Megjelent: (1979)

The logic of aggregated data
Szerző: Gelsema Tjalling
Megjelent: (2019)

Programming language elements for correctness proofs [abstract] /
Szerző: Dévai Gergely
Megjelent: (2006)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

Generalised subspace based method for steady state analysis of QBD-M processes [abstract] /
Szerző: Tran Hung T., et al.
Megjelent: (2000)

On the complexity of dynamic tests for logic functions
Szerző: Vardanân V. A.
Megjelent: (1994)

The logic of knights, knaves, normals and mutes
Szerző: Aszalós László
Megjelent: (2000)

Relational databases and homogeneity in logics with counting
Szerző: Turull Torres José María
Megjelent: (2006)

On specialized programming language for flexible information systems [abstract] /
Szerző: Popovic Aleksandar, et al.
Megjelent: (1998)

Towards languages that support program derivation or control modularity considered harmful /
Szerző: Kurki-Suonio Reino
Megjelent: (1990)

On the completeness of proving partial correctness
Szerző: Csirmaz László
Megjelent: (1981)

Modelling container distribution with fuzzy logic [abstract] /
Szerző: Raicu Gabriel
Megjelent: (2004)

A resolution based description logic calculus
Szerző: Zombori Zsolt
Megjelent: (2010)

Learning in logic
Szerző: Horváth Tamás
Megjelent: (2012)

New method for designing polymorphic system programming languages [abstract] /
Szerző: Balogh Ádám, et al.
Megjelent: (2006)

Notes on maximal congruence relations, automata and related topics
Szerző: Andréka Hajnal, et al.
Megjelent: (1973)

On the Boolean structure of fuzzy logical systems a counter example /
Szerző: Dombi József, et al.
Megjelent: (1992)

On competence and completeness in CD grammar systems
Szerző: Bordihn Henning, et al.
Megjelent: (1996)

Density of tautologies in logics with one variable
Szerző: Aszalós László, et al.
Megjelent: (2012)

Finite state evaluation of logical formulas Jevons' approach (1870) and contemporary description /
Szerző: Amblard Paul
Megjelent: (2006)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Creating the conceptual and logical model of a journal database
Szerző: Hampel György
Megjelent: (2022)

Operator-dependent modifiers in nilpotent logical systems
Szerző: Dombi József, et al.
Megjelent: (2018)

Understanding program slices
Szerző: Hajnal Ákos, et al.
Megjelent: (2012)

On homomorphically αi-complete systems of automata
Szerző: Dömösi Pál
Megjelent: (1983)

Regular expression star-freeness is PSPACE-complete
Szerző: Bernátsky László
Megjelent: (1997)

Acts over completely 0-simple semigroups
Szerző: Avdeev A. Û., et al.
Megjelent: (2000)