1486 search results - page 258 / 298 » Mathematical Fuzzy Logics |
200
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
In this paper, we show how pattern matching can be seen to arise from a proof term assignment for the focused sequent calculus. This use of the Curry-Howard correspondence allows ...
SIGCSE
2009
ACM
16 years 12 days ago
2009
ACM
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
CADE
2008
Springer
16 years 4 days ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
105
click to vote
CADE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
164
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...