Davis, Martin

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Metcalfe, George; Cintula, Petr; Diaconescu, Denisa (2015). Skolemization for Substructural Logics. In: Davis, Martin; Fehnker, Ansgar; McIver, Annabelle; Voronkov, Andrei (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - Proceedings of LPAR 2015. Lecture Notes in Computer Science: Vol. 9450 (pp. 1-15). Springer 10.1007/978-3-662-48899-7_1

This list was generated on Fri Mar 29 14:09:00 2024 CET.
Provide Feedback