Results 261 to 270 of about 92,012 (273)

2OBJ: a metalogical framework theroem prover based on equational logic

Philosophical Transactions of the Royal Society: Physical and Engineering Sciences, 1992
Joseph Goguen
exaly  

An introduction to OBJ 3

Lecture Notes in Computer Science, 2005
Joseph Goguen, Claude Kirchner, Hélène Kirchner   +2 more
exaly  

A LOTOS Simulator in OBJ

Advances in Formal Methods, 2000
Futatsugi Kokichi
exaly  

CAD Obj ects

2013
openaire   +1 more source

Objects and OBJ

2008
Borjars, Kersti, Vincent, Nigel
openaire   +1 more source

Encoding $$\mathcal{W}$$ : A Logic for Z in 2OBJ

2005
Martin Andrew
exaly  

Background in General Algebra and OBJ

1996
openaire   +1 more source

Abstract Correction of OBJ-like Programs.

2003
ALPUENTE M, BALLIS, Demis, ESCOBAR S, FALASCHI M, LUCAS S.   +4 more
openaire   +1 more source

KAPITEL 1. WAHL DES ABSOLUTEN (Gen.obj.)

1983
exaly  

OBJ-P: the polymorphic extension of OBJ-3.

openaire   +1 more source