Nondeterministic programming within the frame of first order classical logic part 2 /

QR kód

Nondeterministic programming within the frame of first order classical logic part 2 /

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Gergely Tamás Úry László
Dokumentumtípus:	Cikk
Megjelent:	1980
Sorozat:	Acta cybernetica 4 No. 4
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/12297

Hasonló tételek

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

Unification for effective and finite semantic tableaux in first-order logic the SOFIA prover : [abstract] /
Szerző: Kovásznai Gergely
Megjelent: (2004)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

On Monogenic Nondeterministic Automata
Szerző: Imreh Csanád, et al.
Megjelent: (2008)

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)

Directable nondeterministic automata
Szerző: Imreh Balázs, et al.
Megjelent: (1999)

On monogenic nondeterministic automata
Szerző: Imreh Csanád, et al.
Megjelent: (2008)

On commutative asynchronous nondeterministic automata
Szerző: Imreh Balázs, et al.
Megjelent: (2000)

On directable nondeterministic trapped automata
Szerző: Imreh Balázs, et al.
Megjelent: (2003)

Frames for protocol description
Szerző: Wagner-Dibuz Sally
Megjelent: (1990)

Weighted first-order logics over semirings
Szerző: Mandrali Eleni, et al.
Megjelent: (2015)

On isomorphic representation of nondeterministic tree automata
Szerző: Imreh Balázs
Megjelent: (1995)

Isomorphic representation of nondeterministic nilpotent automata
Szerző: Székely Ildikó
Megjelent: (1998)

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

Giving mathematical semantics of nondeterministic and parallel programming structures by means of attribute grammars
Szerző: Álvarez Gil R.
Megjelent: (1986)

On αi-products of nondeterministic tree automata
Szerző: Imreh Balázs
Megjelent: (1997)

On regular languages determined by nondeterministic directable automata
Szerző: Imreh Balázs, et al.
Megjelent: (2005)

The generalised completeness of Horn predicate-logic as a programming language
Szerző: Andréka Hajnal, et al.
Megjelent: (1978)

Distinguishing experiments for timed nondeterministic finite state machine
Szerző: El-Fakih Khaled
Megjelent: (2013)

LL frame system of learning methods [abstract] /
Szerző: Hócza András, et al.
Megjelent: (2002)

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

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

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

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

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

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

On a class of unary operators in continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2024)

The generalized sigmoid function and its connection with logical operators
Szerző: Dombi József, et al.
Megjelent: (2022)

Generalizing the Sigmoid Function Using Continuous-valued Logic
Szerző: Dombi József, et al.
Megjelent: (2022)

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

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

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

A New Lower Bound for Classic Online Bin Packing
Szerző: Balogh János, et al.
Megjelent: (2020)

A New Lower Bound for Classic Online Bin Packing
Szerző: Balogh János, et al.
Megjelent: (2021)

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

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

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

Lower and Upper Bounds on the Vagueness Values of Logical Operations in Pliant Systems
Szerző: Dombi József, et al.
Megjelent: (2024)

An alternative approach to quadratic scoring rules using continuous-valued logic
Szerző: Dombi József, et al.
Megjelent: (2023)