11436 search results - page 1837 / 2288 » Modeling Real Reasoning |
149
click to vote
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
We study the classes of B¨uchi and Rabin automatic structures. For B¨uchi (Rabin) automatic structures their domains consist of infinite strings (trees), and the basic relation...
173
click to vote
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
189
Voted
LICS
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
120
Voted
SMI
2008
IEEE
16 years 22 days ago
2008
IEEE
Wireframe is a modeling tool widely used in industrial geometric design. The term wireframe refers to two sets of curves, with the property that each curve from one set intersects...
167
click to vote
TPHOL
2008
IEEE
16 years 22 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...