8228 search results - page 118 / 1646 » Structural Logical Relations |
VLSID
2007
IEEE
14 years 10 months ago
2007
IEEE
Boolean Satisfiability is seeing increasing use as a decision procedure in Electronic Design Automation (EDA) and other domains. Most applications encode their domain specific cons...
JBI
2004
13 years 11 months ago
2004
Some new relations in the family of edge ideal metrics for biopolymers are proved. Also, some statistical relations among the metrics are shown using a big synthetic contact struc...
LOGCOM
2007
13 years 10 months ago
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures (CoS) of Guglielmi. Since every CMDL calculus enjo...
ICLP
2010
Springer
14 years 2 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
CSL
2004
Springer
14 years 3 months ago
2004
Springer
The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of s...