264 search results - page 6 / 53 » Expressing Iterative Properties Logically in a Symbolic Sett... |
134
Voted
EACL
2003
ACL Anthology
15 years 4 months ago
2003
ACL Anthology
Syntactic constraints in Koskenniemi’s Finite-State Intersection Grammar (FSIG) are logically less complex than their formalism (Koskenniemi et al., 1992) would suggest: It turn...
169
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
137
click to vote
CAV
1998
Springer
15 years 7 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
152
Voted
IANDC
2011
14 years 10 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
146
Voted
CALCO
2005
Springer
15 years 9 months ago
2005
Springer
Every endofunctor B on the category Set can be lifted to a fibred functor on the category (fibred over Set) of equivalence relations and relation-preserving functions. In this pa...