Razvan Diaconescu - Dokumente zum Namen

(1 - 5 von 5

)

[ ] Implicit Kripke Semantics and Ultraproducts in...

arxiv.org

From: Razvan Diaconescu [view email] [v1] Wed, 17 Feb :11:34 GMT ( 39kb). Which authors of this paper are endorsers? | Disable ...

Documents

jot.theta.ro

Logical Semantics of CafeOBJ: by Razvan Diaconescu and Kokichi Futatsugi. Research Report, IS-RR S,JAIST, New revised version submitted to ...

abstract model theory in nLab

nlab-pages.s3.us-east-2.amazonaws.com

Razvan Diaconescu, Institution-independent Model Theory , Birkhäuser Basel Marta García-Matos, Jouko Väänänen, Abstract Model ...

WADT 2012

maude.sip.ucm.es

... Löwe: Decision Algebra: Parameterized Specification of Decision Models; Razvan Diaconescu: A module algebra for behavioral specifications; Zinovy Diskin ...

Verwandte Suchanfragen zu Razvan Diaconescu

Personen
Vorname "Razvan" (530)
Name "Diaconescu" (51)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Razvan Diaconescu

[ ] Implicit Kripke Semantics and Ultraproducts in...

Documents

abstract model theory in nLab

WADT 2012