✦ LIBER ✦

On weighted first-order logics with discounting

✍ Scribed by Mandrali, Eleni; Rahonis, George

Book ID: 121533969
Publisher: Springer-Verlag
Year: 2014
Tongue: English
Weight: 533 KB
Volume: 51
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-013-0193-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Weighted automata and weighted logics wi

Weighted automata and weighted logics with discounting

✍ Manfred Droste; George Rahonis 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 908 KB

First order logic with empty structures

✍ Mohamed A. Amer 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 410 KB

Characterizing Second Order Logic with F

Characterizing Second Order Logic with First Order Quantifiers

✍ David Harel 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 257 KB

CHARACTERIZING SECOND ORDER LOGIC WITH FIRST ORDER QU-4NTIFIERX by DAVID HAREL in Cambridge, Massachusets (U.S.A.) l) ') The author is indebted to W. J. WALKOE, A. R. MEYER, A. SHAMIR and a rcfeiee for comments on previous versions.

First Order Predicate Logic with General

First Order Predicate Logic with Generalized Quantifiers

📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 448 KB

Deciding Regular Grammar Logics with Con

Deciding Regular Grammar Logics with Converse Through First-Order Logic

✍ Stéphane Demri; Hans De Nivelle 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 726 KB

First-Order Logic with Two Variables and

First-Order Logic with Two Variables and Unary Temporal Logic

✍ Kousha Etessami; Moshe Y. Vardi; Thomas Wilke 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 187 KB