50 search results - page 2 / 10 » csl 2010 |
CSL
2010
Springer
14 years 11 months ago
2010
Springer
CSL
2010
Springer
14 years 10 months ago
2010
Springer
CSL
2010
Springer
14 years 11 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
CSL
2010
Springer
14 years 11 months ago
2010
Springer
We describe the formalisation of the normal forms of context-free grammars (CFGs) using the HOL4 theorem prover. These straightforward pen and paper proofs easily understood from t...
CSL
2010
Springer
14 years 11 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...