Pages that link to "Item:Q1365518"
From MaRDI portal
The following pages link to Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings (Q1365518):
Displaying 3 items.
- Computational logic and proof theory. 3rd Kurt Gödel Colloquium, KGC '93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Q1310291) (← links)
- Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)
- A Modal Logic of Knowledge, Belief, and Estimation (Q2938532) (← links)