Sciweavers

148 search results - page 4 / 30
» apal 2007
Sort
View
74
Voted
APAL
2005
86views more  APAL 2005»
15 years 12 days ago
Control structures in programs and computational complexity
Karl-Heinz Niggl
76
Voted
APAL
2004
56views more  APAL 2004»
15 years 11 days ago
Krivine's intuitionistic proof of classical completeness (for countable languages)
Stefano Berardi, Silvio Valentini
67
Voted
APAL
2004
52views more  APAL 2004»
15 years 11 days ago
Lesniewski's early Liar, Tarski and natural language
Arianna Betti
67
Voted
APAL
2004
72views more  APAL 2004»
15 years 11 days ago
Fregean logics
Janusz Czelakowski, Don Pigozzi
65
Voted
APAL
2004
58views more  APAL 2004»
15 years 11 days ago
Boolean algebras arising from information systems
Ivo Düntsch, Ewa Orlowska