Sciweavers

2500 search results - page 81 / 500
» Logical Semantics of Modularisation
Sort
View
72
Voted
JUCS
2007
84views more  JUCS 2007»
14 years 11 months ago
On the Forcing Semantics for Monoidal t-norm Based Logic
Denisa Diaconescu, George Georgescu
ENTCS
1998
60views more  ENTCS 1998»
14 years 10 months ago
Semantics, modularity, and rewriting logic
Peter D. Mosses
46
Voted
JFP
1998
62views more  JFP 1998»
14 years 10 months ago
Classical Logic, Continuation Semantics and Abstract Machines
Thomas Streicher, Bernhard Reus