Sciweavers

835 search results - page 7 / 167
» Geometric Logic in Computer Science
Sort
View
100
Voted
SOFSEM
2005
Springer
15 years 7 months ago
Logical Foundations for Data Integration
Maurizio Lenzerini
93
Voted
STACS
1998
Springer
15 years 6 months ago
Optimal Proof Systems for Propositional Logic and Complete Sets
Jochen Meßner, Jacobo Torán
129
Voted
MFCS
1993
Springer
15 years 6 months ago
Completeness Results for Linear Logic on Petri Nets
Uffe Engberg, Glynn Winskel