Sciweavers

691 search results - page 1 / 139
» Equational Abstractions
Sort
View
CADE
2003
Springer
14 years 4 months ago
Equational Abstractions
José Meseguer, Miguel Palomino, Narciso Mar...
CONCUR
2004
Springer
13 years 9 months ago
Parameterised Boolean Equation Systems (Extended Abstract)
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
Jan Friso Groote, Tim A. C. Willemse
JACM
2007
85views more  JACM 2007»
13 years 3 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
13 years 7 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun