About the axiomatization of first- and second-order spatio-temporal logics [abstract] /

QR kód

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /

Elmentve itt :

Bibliográfiai részletek
Szerző:	Vályi Sándor
Testületi szerző:	Conference of PhD students in computer science (2.)
Dokumentumtípus:	Könyv része
Megjelent:	University of Szeged Szeged 2000
Sorozat:	Conference of PhD Students in Computer Science 2
Kulcsszavak:	Számítástechnika - előadáskivonat, Logika - előadáskivonat
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/59635

Hasonló tételek

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

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)

Axiomatizing iteration categories
Szerző: Ésik Zoltán
Megjelent: (1999)

Temporal logic with cyclic counting and the degree of aperiodicity of finite automata
Szerző: Ésik Zoltán, et al.
Megjelent: (2003)

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

Axiomatic systems in fuzzy algebra
Szerző: Drewniak J.
Megjelent: (1981)

A finite axiomatization of flowchart schemes
Szerző: Bartha Miklós
Megjelent: (1987)

A note on axiomatizing flowchart schemes
Szerző: Căzănescu Virgil Emil, et al.
Megjelent: (1990)

A note on the axiomatization of iteration theories
Szerző: Ésik Zoltán
Megjelent: (1990)

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

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

On the complete axiomatization for prefix iteration modulo observation congruence
Szerző: Chen Taolue, et al.
Megjelent: (2006)

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

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

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

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

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

With ChatGPT about ChatGPT [abstract] /
Szerző: Nagy Valéria
Megjelent: (2024)

Spatio-temporal patterns and pattern transformations in sand grassland communities
Szerző: Körmöczi László
Megjelent: (1996)

Reproductive strategies and spatio-temporal patterns of terrestrial isopod populations
Szerző: Hornung Erzsébet
Megjelent: (1996)

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

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)

Quasi-orders on automata [abstract] /
Szerző: Kovačević Jelena
Megjelent: (2000)

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

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

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

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

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

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

Behavior of solutions of second-order differential equations with sublinear damping
Szerző: Karsai János, et al.
Megjelent: (2005)

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

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

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)

Construction of recursive algorithms for polarity matrices calculation in polynomial logical function representation [abstract] /
Szerző: Janković Dragan
Megjelent: (1998)

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

Factored temporal difference learning in the new ties environment
Szerző: Gyenes Viktor, et al.
Megjelent: (2008)

Some results about functional dependencies
Szerző: Demetrovics János, et al.
Megjelent: (1988)