✦ LIBER ✦

Axiomatizing the identities of binoid languages

✍ Scribed by Igor Dolinka

Book ID: 108281270
Publisher: Elsevier Science
Year: 2007
Tongue: English
Weight: 315 KB
Volume: 372
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.11.028

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing the equational theory of re

Axiomatizing the equational theory of regular tree languages

✍ Z. Ésik 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 333 KB

A note onk-axiomatizations of identity

✍ Moschovakis, Joan Rand 📂 Article 📅 1969 🏛 Springer-Verlag ⚖ 65 KB

Language and Identity || Language, Ident

Language and Identity || Language, Identity, and the Ownership of English

✍ Bonny Norton 📂 Article 📅 1997 🏛 Teachers of English to Speakers of Other Languages 🌐 English ⚖ 174 KB

An axiomatic definition of the programmi

An axiomatic definition of the programming language PASCAL

✍ C. A. R. Hoare; N. Wirth 📂 Article 📅 1973 🏛 Springer-Verlag 🌐 English ⚖ 745 KB

An axiomatic semantics for the synchrono

An axiomatic semantics for the synchronous language Gentzen

✍ Simone Tini 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 343 KB

We propose an axiomatic semantics for the synchronous language Gentzen, which is an instantiation of the paradigm Timed Concurrent Constraint Programming proposed by Saraswat, Jagadeesan and Gupta. We view Gentzen as a prototype of the class of state-oriented synchronous languages, since it offers t

Axiomatization of identity-free equation

Axiomatization of identity-free equations valid in relation algebras

✍ H. Andréka; I. Németi 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 416 KB