Back to Results
First PageMeta Content
Predicate logic / Model theory / Quantification / Formal languages / Circumscription / Skolem normal form / Atomic formula / Function / Universal quantification / Logic / Mathematical logic / Mathematics


Computing Circumscription Revisited: Preliminary Report Patrick Doherty Dept. of Computer Science Linkoping University S[removed]Linkoping, Sweden
Add to Reading List

Document Date: 2012-02-03 06:09:50

Open Document

File Size: 165,45 KB

Share Result on Facebook

City

Warsaw / St. Paul / Palo Alto / Los Angeles / Oxford / /

Company

Clarendon Press / ESPRIT / /

Country

Poland / /

Currency

pence / /

Facility

Institute of Informatics Warsaw University / D. Reidel Pub / Link#oping University / /

IndustryTerm

reduction algorithm / elimination algorithm / /

Organization

Link#oping University / Warsaw University / /

Person

Patrick Doherty / Ai / J. Van Benthem / Morgan Kaufmann / /

Position

editor / /

ProvinceOrState

Minnesota / California / /

PublishedMedium

Mathematische Annalen / /

Technology

DLS algorithm / elimination algorithm / reduction algorithm / SCAN algorithm / /

SocialTag