Back to Results
First PageMeta Content
Model theory / Metalogic / Predicate logic / Electronic design automation / Linear temporal logic / First-order logic / Boolean satisfiability problem / Well-formed formula / Constructible universe / Logic / Mathematical logic / Theoretical computer science


BRICS Basic Research in Computer Science BRICS RS-97-5 Etessami et al.: First-Order Logic with Two Variables and Unary Temporal Logic First-Order Logic with
Add to Reading List

Document Date: 1997-06-05 08:58:45

Open Document

File Size: 142,67 KB

Share Result on Facebook

City

Kiel / /

Company

ESPRIT / /

Country

Germany / Denmark / /

Currency

pence / Rs / /

/

Facility

Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Rice University / /

IndustryTerm

reactive systems / /

Organization

Danish National Research Foundation / Rice University / European Union / BRICS Department / University of Aarhus / National Science Foundation / Institut f¨ur Informatik / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / /

Person

Moshe Y. Vardi Thomas Wilke / Moshe Y. Vardi‡ Thomas Wilke / /

/

Position

author / Prime Minister / /

ProgrammingLanguage

C / /

URL

ftp /

SocialTag