1
0
0
(1 - 25 von 29
)
Lecture Notes in Computer Science PDF Free Download
estatedocbox.com
... Casl Architectural Specifications Mihai Codescu A Proof Theoretic Interpretation of Model Theoretic Hiding Mihai Codescu, Fulya Horozal, Michael Kohlhase, ...
Theoretical Computer Science Till Mossakowski
www.theo.ovgu.de
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski and Florian Rabe. [doi] [abstract] [BibTeX] We present an architecture that permits compiling declara- tive logic specifications (given in some type theory like LF) into implementations of that logic within the Heterogeneous Tool Set Hets.
Publikationen IWiwww.dfki.de › ... › Institut für Wirtschaftsinformatik
www.dfki.de
Institut für Wirtschaftsinformatik. PUBLIKATIONEN. Seite 1 von 1. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe ...
Publications IFS
www.dfki.de
Publications (IFS). Page 1 of 1. Mihai Codescu, Fulya Horozal, Michael Kohlhase , Till Mossakowski, Florian Rabe, Kristina Sojakova ...
Publications SDS
www.dfki.de
Publications (SDS). Page 1 of 1. Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe · Compiling Logics. In: Narciso Martí-Oliet, ...
Recent Trends in Algebraic Development Techniques: 20th ...books.google.com › books
books.google.com
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, and Florian Rabe Towards Logical Frameworks in the Heterogeneous Tool Set Hets .
Publications Search - Details
www.informatik.uni-bremen.de
Publication type: Article in Proceedings: Author: Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Editor: James H. Davenport, William ...
Publications (Krieg-Brückner Group)
www.informatik.uni-bremen.de
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova (2012). Towards Logical Frameworks in the Heterogeneous Tool Set Hets . In Till Mossakowski, Hans-Jörg Kreowski (Eds.), Recent Trends in Algebraic Development Techniques, 20th International Workshop, WADT 2010, Vol , pp. 139–159, Lecture ...
Suche nach Veröffentlichungen - Detailansicht
www.informatik.uni-bremen.de
Art der Veröffentlichung: Artikel in Konferenzband: Autor: Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe: Herausgeber:
Publikationen CPS
www.dfki.de
Bertonori Italy Seiten LNAI Springer-Verlag Berlin Heidelberg Zur Publikation · Mihai Codescu, Fulya Horozal, Michael Kohlhase, ...
A Proof Theoretic Interpretation of Model Theoretic Hidinglink.springer.com › chapter
link.springer.com
DFKI, Bremen, Germany. Mihai Codescu & Till Mossakowski. Jacobs University, Bremen, Germany. Fulya Horozal, Michael Kohlhase & Florian Rabe. Authors.
Project Abstract: Logic Atlas and Integrator (LATIN) | SpringerLinklink.springer.com › chapter
link.springer.com
Mihai Codescu & Till Mossakowski. Computer Science, Jacobs University Bremen, Germany. Fulya Horozal, Michael Kohlhase & Florian Rabe. Authors.
Compiling Logics | SpringerLink
link.springer.com
Mihai Codescu (17); Fulya Horozal (19); Aivaras Jakubauskas (19); Till Mossakowski (18); Florian Rabe (19). Author Affiliations Friedrich-Alexander ...
BibTeX bibliography lncs2012b.bib
ftp.math.utah.edu
... Prevent Re-recording Screen Image Built in Short Wavelength Pass Filter Detection Method Using Specular Reflection", journal = j-LECT-NOTES-COMP-SCI, "Lecture Notes in Computer Science", } @Article{Codescu:2012:PTI, author = "Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski ...
CICM Schedulecicm11.cs.unibo.it › cicm11 › cicm-schedule
cicm11.cs.unibo.it
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski and Florian Rabe; 9:30 A Formalization of the C99 Standard in HOL, Isabelle and Coq
@(Alignments-public:on, title = {Public Repository for ...cgi.cse.unsw.edu.au › ~eptcs › references › PxTP...
cgi.cse.unsw.edu.au
... author = {Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe}, year = {2011}, title = {Project Abstract: Logic Atlas ...
cgi.cse.unsw.edu.au › ~eptcs › references › PxTP...References
cgi.cse.unsw.edu.au
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski & Florian Rabe (2011): Project Abstract: Logic Atlas and Integrator (LATIN). In: Davenport ...
Compiling Logics - Inria
hal.inria.fr
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe. Compiling Logics. 21th InternationalWorkshop on Algebraic Development ...
WADT IFIP Digital Librarydl.ifip.org › conf › wadt › wadt2012
dl.ifip.org
Compiling Logics. Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe Transformation Systems with Incremental Negative ...
References Patrick Blackburn & Johan Bos (2005): Representation ...eptcs.web.cse.unsw.edu.au › references › LFMTP20...
cgi.cse.unsw.edu.au
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski & Florian Rabe (2011): Project Abstract: Logic Atlas and Integrator (LATIN). In: James ...
Intelligent Computer Mathematics
www.infona.pl
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, more · Lecture Notes in Computer Science > Intelligent Computer ...
WADT 2012maude.sip.ucm.es › wadt2012 › program
maude.sip.ucm.es
11:30, Mihai Codescu, Fulya Horozal, Iulia Ignatov and Florian Rabe Representing CASL in a Proof-Theoretical Logical Framework, Adrian Riesco, Irina ...
Lecture Notes in Computer Scienceftp.math.utah.edu › pub › tex › bib › toc
ftp.math.utah.edu
· Mihai Codescu and Fulya Horozal and Michael Kohlhase and Till Mossakowski and Florian Rabe A Proof Theoretic Interpretation of Model ...
Alle Infos zum Namen "Fulya Horozal"
Verwandte Suchanfragen zu Fulya Horozal
Dieter Hutter Kristina Sojakova Florian Rabe | Michael Kohlhase Felicia Celan Constantin Jucovschi | Herbert Jäger |
Personen Vorname "Fulya" (369) Name "Horozal" (5) |
sortiert nach Relevanz / Datum