๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

First-Order Logic with Two Variables and Unary Temporal Logic

โœ Scribed by Kousha Etessami; Moshe Y. Vardi; Thomas Wilke


Book ID
112252603
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
187 KB
Volume
179
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Equality and Monodic First-Order Tempora
โœ Anatoli Degtyarev; Michael Fisher; Alexei Lisitsa ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 516 KB