Back to Search Start Over

Operational semantics for order-sorted algebra

Authors :
Jean-Pierre Jouannaud
José Meseguer
Joseph A. Goguen
Source :
Automata, Languages and Programming ISBN: 354015650X, ICALP
Publication Year :
2005
Publisher :
Springer-Verlag, 2005.

Subjects

Subjects :
Action semantics
Initial algebra
Algebra
Denotational semantics
Conditional equation
Computer science
Semantics of logic
Congruence class
Term algebra
Operational semantics

Details

ISBN :
978-3-540-15650-5
3-540-15650-X
ISBNs :
9783540156505 and 354015650X
Database :
OpenAIRE
Journal :
Automata, Languages and Programming ISBN: 354015650X, ICALP
Accession number :
edsair.doi...........12a53217dc14ba4932ff3745dbf7fa6f
Full Text :
https://doi.org/10.1007/bfb0015747
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details