Open AccessA Resolution Principle for a Logic with Restricted Quantifiers
Author(s) -
Hans-Jürgen Bürckert
Publication year - 1991
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/3-540-55034-8
Subject(s) - quantifier (linguistics) , computer science , resolution (logic) , quantifier elimination , scheme (mathematics) , logic program , algorithm , theoretical computer science , calculus (dental) , algebra over a field , programming language , logic programming , artificial intelligence , mathematics , pure mathematics , medicine , dentistry , mathematical analysis
Preliminaries.- Unification.- A logic with restricted quantifiers.- Equational constraint theories.- Conclusion.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom