1
0
0
(1 - 36 von 39
)
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.
Fourth Workshop on Logical and Semantic - Accepted Paperslsfa09.cic.unb.br › accepted-papers
lsfa09.cic.unb.br
· Rafael del Vado Vírseda. A Logical Framework for Debugging in Declarative Constraint Programming. 12:00-12:30, Fulya Horozal and Florian Rabe.
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 .
Logic for Programming, Artificial Intelligence, and Reasoning: 17th...
books.google.de
... Ra ́ul Guti ́errez Martin Henz Matthias Horbach Fulya Horozal Cl ́ement Houtmann Joe Hurd Florent Jacquemard Neil Jones Roland Kaminski Ioannis Kassios ...
Logic for Programming, Artificial Intelligence, and Reasoning: 16th...
books.google.de
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial...
Representing Model Theory in a Type-Theoretical Logical Frameworkwww.sciencedirect.com › science › article › pii › pdf
www.sciencedirect.com
Fulya Horozal and Florian Rabe. Jacobs University Bremen, Germany. Abstract. We give a comprehensive formal representation of first-order logic using the ...
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 ...
Representing Model Theory in a Type-Theoretical Logical Framework -...
www.sciencedirect.com
Feryal Fulya Horozal, Florian RabeTwelf Encoding of the Soundness of FOL. https://svn.kwarc.info/repos/twelf/soundness (2009).
Representing model theory in a type-theoretical logical dblp
dblp.org
Feryal Fulya Horozal, Florian Rabe : Representing model theory in a type-theoretical logical framework. Theor. Comput. Sci. 412(37): (2011) text ... › tcs › HorozalR11
Representing Model Theory in a Type-Theoretical Logical COREcore.ac.uk › MUCC (Crossref)
core.ac.uk
Representing Model Theory in a Type-Theoretical Logical Framework. By Fulya Horozal and Florian Rabe. Get PDF. Cite. BibTex; Full citation. No static citation ...
A Proof Theoretic Interpretation of Model Theoretic Hiding |...
link.springer.com
Logical frameworks like LF are used for formal representations of logics in order to make them amenable to formal machine-assisted meta-reasoning. While the...
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 ...
A Framework for Defining Declarative Languages
opus.jacobs-university.de
Feryal Fulya Horozal Declarative languages are an important family of formalisms used for formal knowledge representation in computer science. Examples include logics, type theories, set theories, specification languages and ontology languages.
@(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 ...
Formal Logic Definitions for Interchange Languages - OUCIouci.dntb.gov.ua › works
ouci.dntb.gov.ua
... Computer Science Intelligent Computer Mathematics, 2015, p Publisher: Springer International Publishing. Authors: Fulya Horozal, Florian Rabe ...
cgi.cse.unsw.edu.au › ~eptcs › references › PxTP...HTML
cgi.cse.unsw.edu.au
Fulya Horozal & Florian Rabe (2011): Representing model theory in a type-theoretical logical framework. Theoretical Computer Science 412, pp –
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 ...
CICM Conferences on Intelligent Computer Mathematics
cicm-conference.org
Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle? (14:30-15:00) (DOI); Fulya Horozal, Michael Kohlhase and Florian Rabe. › cicm
Doctoral Programme
cicm2010.cnam.fr
15:00-15:45: Tutorial Serge Autexier: "How to write a research paper" (slides); 15:45-16:15: Fulya Horozal: A Comprehensive Logical Framework ... › program
Formal Logic Definitions for Interchange Languages
docplayer.net
1 Formal Logic Definitions for Interchange Languages Fulya Horozal and Florian Rabe Jacobs University Bremen, Computer Science MKM track at CICM System ... ›
References - cgi .cse. unsw. edu.a ucgi.cse.unsw.edu.au › ~eptcs › references › LFMTP...
cgi.cse.unsw.edu.au
Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski & Florian Rabe (2011): Project Abstract: Logic Atlas and Integrator (LATIN).
Compiling Logics - Inria
hal.inria.fr
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe. Compiling Logics. 21th InternationalWorkshop on Algebraic Development ...
Towards Logical Frameworks in the Heterogeneous Tool Set Hetswww.semanticscholar.org › paper › Towards-Logica...
www.semanticscholar.org
M. Codescu, Fulya Horozal, +3 authors. Kristina Sojakova · Published in Workshop on Recent Trends in… 1 July · Computer Science.
OUCI
ouci.dntb.gov.ua
Crossref citations: 4 · Formal Logic Definitions for Interchange Languages. Fulya Horozal, Florian Rabe. https://doi.org _11 · Full text.
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 ...
Representing Model Theory in a Type-Theoretical Logical ...cyberleninka.org › article
cyberleninka.org
Abstract of research paper on Computer and information sciences, author of scientific article — Fulya Horozal, Florian Rabe. Abstract We give a comprehensive ...
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 ...
Re: [Logica-l] LSFA na TCS (Qualis A1)
www.mail-archive.com
... Original Research Article > > *Pages * > Fulya Horozal, Florian Rabe > > 8. *A study on multi-dimensional products of graphs and ...
[Logica-l] LSFA na TCS (Qualis A1)
www.mail-archive.com
... Original Research Article *Pages * Fulya Horozal, Florian Rabe 8. * A study on multi-dimensional products of graphs and hybrid ...
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