Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing

Details

Type
Conference proceedings
Publication
In Mathematics of Language 8 (MoL 8 ), Bloomington, IN, USA.
Date
Links
PDF Conference Postscript

Michail D. Flouris, Lap Chi Lau, Tsuyoshi Morioka, Periklis A. Papakonstantinou and Gerald Penn

“Bounded and Ordered Satisfiability: Connecting Recognition with Lambek-style Calculi to Classical Satisfiability Testing”

Mathematics of Language 8 (MoL 8 ), 20-22 June 2003, Bloomington, IN, USA.