Back to Results
First PageMeta Content
Elementary mathematics / Abstract algebra / Finitary relation / Function / First-order logic / Binary relation / Arity / Transitive closure / FO / Mathematics / Logic / Mathematical logic


arXiv:cs.PLv1 7 SepCrocoPat 2.1 Introduction and Reference Manual Dirk Beyer
Add to Reading List

Document Date: 2004-09-08 03:21:18

Open Document

File Size: 263,11 KB

Share Result on Facebook
UPDATE