1175 search results - page 3 / 235 » Abstract computability and algebraic specification |
FOCS
2007
IEEE
14 years 3 days ago
2007
IEEE
d Abstract) Kousha Etessami LFCS, School of Informatics University of Edinburgh Mihalis Yannakakis Department of Computer Science Columbia University We reexamine what it means to...
CMSB
2008
Springer
13 years 7 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
WADT
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...
CIE
2005
Springer
13 years 11 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
BIRTHDAY
2006
Springer
13 years 9 months ago
2006
Springer