bibs/kwarcpubs.bib at master · KWARC/bibs - GitHub
github.com
title = {Extending {MKM} Formats at the Statement Level},. author = {Fulya Horozal and Michael Kohlhase and Florian Rabe},. crossref = {CICM12},. › KWARC › bibs › blob › kwarcpubs
Fulya Horozal, Florian Rabe & Michael Kohlhase, Extending ...philpapers.org › rec › HOREOW
philpapers.org
Extending OpenMath with Sequences. Fulya Horozal, Florian Rabe & Michael Kohlhase. Abstract. Sequences play a great role in mathematical communication.
Carolyn Drake, Perceptual and performed accents in musical sequences...
philpapers.org
Fulya Horozal, Florian Rabe & Michael Kohlhase, Extending OpenMath with Sequences. Andrew Kania (2008). Piece for the End of Time: In Defence of Musical ...
The Management of Grantings and Rejections by Parents in ...
philpapers.org
von AJ Wootton · · Zitiert von: 135 — Fulya Horozal, Florian Rabe & Michael Kohlhase - unknown. Incomplete Descriptions and (Reverse) Sobel Sequences.Mirja Annalena Holst Analysis › WOOTMO-6
Michael Godkewitsch, The role of language habits in understanding...
philpapers.org
Journal of Experimental Psychology 69 (3):304. Fulya Horozal, Florian Rabe & Michael Kohlhase, Extending OpenMath with Sequences. Barbara Tillmann ...
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.
Intelligent computer mathematics : 11th International Conference ...library.wur.nl › WebQuery › titel
library.wur.nl
Extending MKM Formats at the Statement Level /Fulya Horozal, Michael Kohlhase and Florian Rabe. A Streaming Digital Ink Framework for Multi-party ...
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 ...
Intelligent Computer Mathematics: International Conference, CICM ...books.google.com › books
books.google.com
171 Fulya Horozal and Florian Rabe Math Literate Knowledge Management via Induced Material Mihnea Iancu and Michael Kohlhase ...
WADT Accepted abstractsmaude.sip.ucm.es › wadt2012 › abstracts
maude.sip.ucm.es
... Mihai Codescu, Fulya Horozal, Iulia Ignatov and Florian Rabe: Representing CASL in a Proof-Theoretical Logical Framework; Mihai Codescu, Fulya Horozal, ...
www.springerprofessional.de › project-abstract-logic-atlas-and-integra...Project Abstract: Logic Atlas and Integrator (LATIN ...
www.springerprofessional.de
Autoren: Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe. Verlag: Springer Berlin Heidelberg. Erschienen in: Intelligent ...
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 ...
Feryal Fulya Horozal - DBLPdblp.org › Persons
dblp.org
· Feryal Fulya Horozal, Florian Rabe , Michael Kohlhase :
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).
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 ...
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 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 ...
Alle Infos zum Namen "Fulya Horozal"
[PPT] - Flexary Operators for Formalized Mathematics Fulya Horozal...
www.sambuz.com
Flexary Operators for Formalized Mathematics Fulya Horozal Florian Rabe Michael Kohlhase Jacobs University, Bremen, Germany Mathematical Knowledge...
Extending MKM Formats at the Statement Level
www.cicm-conference.org
Extending MKM Formats at the Statement Level Fulya Horozal, Michael Kohlhase and Florian Rabe Jacobs University Bremen CICM, July Bremen, Germany
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 ...
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 ...
Intelligent Computer Mathematics | springerprofessional.dewww.springerprofessional.de › intelligent-computer-...
www.springerprofessional.de
Thus, a single definition of the semantics can be used with either interchange syntax. Fulya Horozal, Florian Rabe. Mehr anzeigen ...
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
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).
Flexary Operators for Formalized Mathematics | springerprofessional ...www.springerprofessional.de › flexary-operators-for-formalized-math...
www.springerprofessional.de
Autoren: Fulya Horozal, Florian Rabe, Michael Kohlhase. Verlag: Springer International Publishing. Erschienen in: Intelligent Computer Mathematics.
Compiling Logics - Inria
hal.inria.fr
Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe. Compiling Logics. 21th InternationalWorkshop on Algebraic Development ...
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 ...
Combining Source, Content, Presentation, Narration, and Relational...
www.semanticscholar.org
Fulya Horozal, Alin Iacob, Constantin Jucovschi,. Michael Kohlhase, Florian Rabe. .
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 ...
[PPT] - Extending MKM Formats at the Statement Level Fulya ...www.sambuz.com › doc › extending-mkm-formats-...
www.sambuz.com
Extending MKM Formats at the Statement Level Fulya Horozal, Michael Kohlhase and Florian Rabe Jacobs University Bremen CICM, July Bremen ...
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