Jump to main content

yr 〜
yr

Search results 11

Logic and Computation

Logic and Computation
Digital電子書籍・電子雑誌図書
2023
Available onlineNational Diet Library
  • Author HeadingDiaconescu, Răzvan

Institution-independent model theory : pbk.

Institution-independent model theory : pbk.
Paper図書
Răzvan DiaconescuBirkhäuserc2008
Other Libraries in Japan
  • Author HeadingDiaconescu, Răzvan

Behavioural coherence in object-oriented algebraic specification

Behavioural coherence in object-oriented algebraic specification
Paper文書・図像類
Diaconescu, Razvan北陸先端科学技術大学院大学情報科学研究科1998-06-05Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0017p.1-22
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan

Categorical foundations of modularisation for multi-paradigm

Categorical foundations of modularisation for multi-paradigm
Paper文書・図像類
Diaconescu, Razvan, Stefaneas, Petros北陸先端科学技術大学院大学情報科学研究科1998-05-09Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0014p.1-16
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Stefaneas, Petros

Component-based algebraic specification and verification in cafeOBJ

Component-based algebraic specification and verification in cafeOBJ
Digital文書・図像類
Diaconescu, Razvan, Futatsugi, Kokichi, Iida, Shusaku北陸先端科学技術大学院大学情報科学研究科1999-05-06Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-99-0020Sp.1-20
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Futatsugi, Kokichi Iida, Shus...

Extra theory morphisms for institutions : logical semantics for multi-paradigm languages

Extra theory morphisms for institutions : logical semantics for multi-paradigm languages
Paper文書・図像類
Diaconescu, Razvan北陸先端科学技術大学院大学情報科学研究科1997-08-01Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0032p.1-22
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan

Modality in open institutions with concrete syntax

Modality in open institutions with concrete syntax
Paper文書・図像類
Diaconescu, Razvan, Stefaneas, Petros北陸先端科学技術大学院大学情報科学研究科1997-12-03Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0046p.1-12
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Stefaneas, Petros

Concurrent object composition in CafeOBJ

Concurrent object composition in CafeOBJ
Digital文書・図像類
Iida, Shusaku, Matsumoto, Michihiro, Diaconescu, Razvan, Futatsugi, Kokichi, Lucanu, Dorel北陸先端科学技術大学院大学情報科学研究科1998-02-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-98-0009Sp.1-40
Other Libraries in Japan
  • Author HeadingIida, Shusaku Matsumoto, Michihiro Diaconescu, Razvan Futatsugi, Kokichi Lucanu, Do...

JAIST-REPORT completeness of semantic paramodulation : a category-based approach

JAIST-REPORT completeness of semantic paramodulation : a category-based approach
Paper文書・図像類
Diaconescu, Razvan北陸先端科学技術大学院大学情報科学研究科1996-03Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-96-0006p.1-37
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan

Logical semantics for CafeOBJ

Logical semantics for CafeOBJ
Digital文書・図像類
Diaconescu, Razvan, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科1996-08-28Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-96-0024Sp.1-18
Other Libraries in Japan
  • Author HeadingDiaconescu, Razvan Futatsugi, Kokichi

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification
Paper図書
Răzvan Diaconescu, Kokichi FutatsugiWorld Scientificc1998
Other Libraries in Japan
  • Author HeadingDiaconescu, Răzvan 二木, 厚吉

Reached to the end of result.

RSS