Open AccessCalculus of constituents: A decidable fragment of second order PL
Author(s) -
Angelina Ilić Stepić,
Dragan Doder
Publication year - 2006
Publication title -
journal of automatic control
Language(s) - English
Resource type - Journals
eISSN - 2406-0984
pISSN - 1450-9903
DOI - 10.2298/jac0601047i
Subject(s) - fragment (logic) , decidability , computer science , order (exchange) , situation calculus , calculus (dental) , algorithm , programming language , medicine , dentistry , finance , economics
We present a short review of the calculus of constituents
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