91 search results - page 1 / 19 » Abstract State Machines and Computationally Complete Query L... |
79
Voted
ASM
2000
ASM
15 years 3 months ago
2000
ASM
ASM
1998
ASM
15 years 3 months ago
1998
ASM
DLT
2006
15 years 8 days ago
2006
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
126
Voted
DALT
2005
Springer
15 years 4 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
91
Voted
SPIN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...