Scott induction and equational proofs

QR kód

Scott induction and equational proofs

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Ésik Zoltán Bernátsky László
Dokumentumtípus:	Cikk
Megjelent:	1995
Sorozat:	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 1
Tárgyszavak:	Számítás- és információtudomány
doi:	10.1016/S1571-0661(04)80009-4
mtmt:	1755979
Online Access:	http://publicatio.bibl.u-szeged.hu/20892

Hasonló tételek

Metaprogramming on the proof level [abstract] /
Szerző: Dévai Gergely
Megjelent: (2008)

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

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

Approaches to Overpower Proof-of-Work Blockchains Despite Minority
Szerző: Baniata Hamza, et al.
Megjelent: (2023)

Partial Pre-Image Attack on Proof-of-Work based Blockchains
Szerző: Baniata Hamza, et al.
Megjelent: (2024)

An Elementary Proof of the General Poincare Formula for λ-additive Measures
Szerző: Dombi József, et al.
Megjelent: (2019)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

Computer-assisted existence proofs for one-dimensional Schrödinger-poisson systems
Szerző: Wunderlich Jonathan, et al.
Megjelent: (2020)

A linear programming background for the R∞ HFF upper bound proof [abstract] /
Szerző: Labádi Máté
Megjelent: (2006)

An elementary proof of the general Poincaré formula for λ-additive measures
Szerző: Dombi József, et al.
Megjelent: (2019)

General products and equational classes of automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1983)

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

Rhoda Scott koncertje
Szerző: Nikolényi István
Megjelent: (1973)

A számítástudomány alapjai előadásanyagok /
Szerző: Ésik Zoltán
Megjelent: (2015)

A számítástudomány matematikai alapjai
Szerző: Ésik Zoltán
Megjelent: (2014)

On two problems of A. Salomaa
Szerző: Ésik Zoltán
Megjelent: (1976)

Decidability results concerning tree transducers I
Szerző: Ésik Zoltán
Megjelent: (1980)

Deterministic ascending tree automata II
Szerző: Ésik Zoltán
Megjelent: (1983)

On the weak equivalence of Elgot's flow-chart schemata
Szerző: Ésik Zoltán
Megjelent: (1985)

Loop products and loop-free products
Szerző: Ésik Zoltán
Megjelent: (1987)

On isomorphic realization of automata with α0-products
Szerző: Ésik Zoltán
Megjelent: (1987)

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

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

Preface
Szerző: Ésik Zoltán
Megjelent: (2006)

David Scott Kastan Shakespeare and the shapes of time /
Szerző: Fabiny Tibor
Megjelent: (1984)

Scott Elliot A primitív ember hajdan és most /
Szerző: Szűcs Adolf, et al.
Megjelent: (1911)

Tony Scott a dzsesszről
Szerző: Bódis Klára
Megjelent: (1978)

John Scott Award - 2021
Szerző: Sahin-Tóth István

Equational properties of Kleene algebras of relations with conversation
Szerző: Ésik Zoltán, et al.
Megjelent: (1995)

A számítástudomány alapjai egyetemi tananyag /
Szerző: Ésik Zoltán
Megjelent: (2011)

On identities preserved by general products of algebras
Szerző: Ésik Zoltán
Megjelent: (1983)

Varieties and general products of top-down algebras
Szerző: Ésik Zoltán
Megjelent: (1986)

F. Scott Fitzgerald Representative Figure of the Jazz Age /
Szerző: Papp Ildikó
Megjelent: (1992)

Alphabetical satisfiability problem for trace equations
Szerző: Breveglieri Luca, et al.
Megjelent: (2009)

On two-step methods for stochastic differential equations
Szerző: Horváth Bokor Rózsa
Megjelent: (1997)

Derivation of incremental equations for PNF nested relations
Szerző: Liu Jixue, et al.
Megjelent: (2003)

On products of automata with identity
Szerző: Ésik Zoltán, et al.
Megjelent: (1986)

A note on α*0 -products of aperiodic automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1987)

On the hierarchy of vi-products of automata
Szerző: Dömösi Pál, et al.
Megjelent: (1988)

On homomorphic simulation of automata by α0-products
Szerző: Dömösi Pál, et al.
Megjelent: (1988)