Algebra, Meaning, and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

32
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540354628, 9783540354642
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method

2006 ◽  
pp. 596-615 ◽  
Author(s):  
Kazuhiro Ogata ◽  
Kokichi Futatsugi

An Algebraic Approach to Regular Sets

2006 ◽  
pp. 449-458
Author(s):  
Horst Reichel
Keyword(s):  
Algebraic Approach ◽  
Regular Sets

My Friend Joseph Goguen

2006 ◽  
pp. 25-30
Author(s):  
Rod Burstall

Constructive Action Semantics in OBJ

2006 ◽  
pp. 281-295
Author(s):  
Peter D. Mosses
Keyword(s):  
Action Semantics ◽  
Constructive Action

From OBJ to ML to Coq

2006 ◽  
pp. 216-234
Author(s):  
Jacek Chrząszcz ◽  
Jean-Pierre Jouannaud

Extension Morphisms for CommUnity

2006 ◽  
pp. 173-193 ◽  
Author(s):  
Nazareno Aguirre ◽  
Tom Maibaum ◽  
Paulo Alencar

scholarly journals Some Varieties of Equational Logic

2006 ◽  
pp. 150-156 ◽  
Author(s):  
Gordon Plotkin
Keyword(s):  
Equational Logic

scholarly journals A Functorial Framework for Constraint Normal Logic Programming

2006 ◽  
pp. 555-577 ◽  
Author(s):  
Paqui Lucio ◽  
Fernando Orejas ◽  
Edelmira Pasarella ◽  
Elvira Pino
Keyword(s):  
Logic Programming ◽  
Normal Logic
Load More ...
Sign in / Sign up

Export Citation Format

Share Document