50 search results - page 2 / 10 » csl 2010 |
CSL
2010
Springer
13 years 6 months ago
2010
Springer
CSL
2010
Springer
13 years 5 months ago
2010
Springer
CSL
2010
Springer
13 years 6 months ago
2010
Springer
Modal dependence logic was introduced very recently by V
CSL
2010
Springer
13 years 6 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
13 years 6 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...