1175 search results - page 3 / 235 » Abstract computability and algebraic specification |
151
Voted
FOCS
2007
IEEE
15 years 10 months 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...
142
Voted
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Stochastic Process Algebra Models Jane Hillston. University of Edinburgh.
109
Voted
WADT
1998
Springer
15 years 8 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...
133
click to vote
CIE
2005
Springer
15 years 9 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...
95
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer