3552 search results - page 39 / 711 » Proof theory in the abstract |
129
click to vote
STTT
2010
15 years 8 days ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
139
click to vote
ASIACRYPT
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. ESIGN is an efficient signature scheme that has been proposed in the early nineties (see [14]). Recently, an effort was made to lay ESIGN on firm foundations, using the...
109
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
101
click to vote
ACRI
2006
Springer
15 years 8 months ago
2006
Springer
on Theory: Extended Abstract Natalie Fridman and Gal Kaminka Bar Ilan University, Israel The MAVERICK Group Computer Science Department {fridman,galk}cs.biu.ac.il Abstract. Modelin...
111
click to vote
DLT
2006
15 years 3 months 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...