×

zbMATH — the first resource for mathematics

Codescu, Mihai

Compute Distance To:
Author ID: codescu.mihai Recent zbMATH articles by "Codescu, Mihai"
Published as: Codescu, Mihai
External Links: MGP
Documents Indexed: 12 Publications since 2008, including 1 Book

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 37 times in 31 Documents Cited by Year
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
12
2011
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
6
2015
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
6
2012
Birkhoff completeness in institutions. Zbl 1179.03069
Codescu, Mihai; Găină, Daniel
6
2008
Generalized theoroidal institution comorphisms. Zbl 1253.68226
Codescu, Mihai
3
2009
Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013
Codescu, Mihai (ed.); Diaconescu, Răzvan (ed.); Ţuţu, Ionuţ (ed.)
1
2015
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian
1
2011
The distributed ontology, modeling and specification language – DOL. Zbl 1409.68284
Mossakowski, Till; Codescu, Mihai; Neuhaus, Fabian; Kutz, Oliver
6
2015
Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013
Codescu, Mihai (ed.); Diaconescu, Răzvan (ed.); Ţuţu, Ionuţ (ed.)
1
2015
Compiling logics. Zbl 1394.68071
Codescu, Mihai; Horozal, Fulya; Jakubauskas, Aivaras; Mossakowski, Till; Rabe, Florian
1
2013
Towards logical frameworks in the heterogeneous tool set Hets. Zbl 1278.68286
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian; Sojakova, Kristina
6
2012
A proof theoretic interpretation of model theoretic hiding. Zbl 1278.68202
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
1
2012
Project abstract: logic atlas and integrator (LATIN). Zbl 1278.68285
Codescu, Mihai; Horozal, Fulya; Kohlhase, Michael; Mossakowski, Till; Rabe, Florian
12
2011
Integrating Maude into Hets. Zbl 1308.68075
Codescu, Mihai; Mossakowski, Till; Riesco, Adrián; Maeder, Christian
1
2011
Generalized theoroidal institution comorphisms. Zbl 1253.68226
Codescu, Mihai
3
2009
Birkhoff completeness in institutions. Zbl 1179.03069
Codescu, Mihai; Găină, Daniel
6
2008

Citations by Year