
Publication details
Publisher: Springer
Place: Berlin
Year: 2006
Series: Lecture Notes in Computer Science
ISBN (Hardback): 9783540354628
ISBN (eBook): 9783540354642
Full citation:
Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer (eds), Algebra, meaning, and computation, Berlin, Springer, 2006
Algebra, meaning, and computation
Contents
Metalogic, qualia, and identity on neptune's great moon
meaning and mathematics in the works of Joseph A. Goguen and Samuel R. Delany
D. Fox Harrell
31-49
Semantic web languages
towards an institutional perspective
Dorel Lucanu, Yuan Fang Li, Jin Song Dong
99-123
Non-intrusive formal methods and strategic rewriting for a chemical application
Oana Andrei, Liliana Ibanescu, Helene Kirchner
194-215
Weak adhesive high-level replacement categories and systems
a unifying framework for graph and petri net transformations
Hartmut Ehrig, Ulrike Prange
235-251
Elementary algebraic specifications of the rational complex numbers
Jan A. Bergstra, John V. Tucker
459-475
Completion is an instance of abstract canonical system inference
Guillaume Burel, Claude Kirchner
497-520