Electronic Proceedings in Theoretical Computer Science

Book title Buchtitel
Electronic Proceedings in Theoretical Computer Science
 
Publisher Herausgeber
Electronic Proceedings in Theoretical Computer Science
 
Place of publishing Erscheinungsort
335
 
Series Schriftenreihe
Electronic Proceedings in Theoretical Computer Science
 

Publications Publikationen

Results 1-20 of 21 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kruckman, Alex ; Rubin, Sasha ; Sheridan, John ; Zax, Ben A Myhill-Nerode theorem for automata with adviceKonferenzbeitrag Inproceedings 2012
2Schoisswohl, Johannes ; Kovács, Laura Automating Induction by ReflectionKonferenzbeitrag Inproceedings 2021
3Kuznets, Roman ; Prosperi, Laurent ; Schmid, Ulrich ; Fruzsa, Krisztina Causality and Epistemic Reasoning in Byzantine Multi-Agent SystemsKonferenzbeitrag Inproceedings 2019
4Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata Classical Proofs as Parallel ProgramsKonferenzbeitrag Inproceedings 2018
5Freund, Rudolf ; Fernau, Henning ; Holzer, Markus Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid ModesKonferenzbeitrag Inproceedings2014
6Taupe, Richard ; Schekotihin, Konstantin ; Schüller, Peter ; Weinzierl, Antonius ; Friedrich, Gerhard Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASPKonferenzbeitrag Inproceedings 2019
7Ebner, Gabriel Fast Cut-Elimination using Proof Terms: An Empirical StudyKonferenzbeitrag Inproceedings2018
8Fruzsa, Krisztina ; Kuznets, Roman ; Schmid, Ulrich Fire!Konferenzbeitrag Inproceedings 2021
9Aminof, Benjamin ; Rubin, Sasha First Cycle GamesKonferenzbeitrag Inproceedings 2014
10Schreiner, Wolfgang ; Reichl, Franz-Xaver First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT SolvingKonferenzbeitrag Inproceedings 2021
11Freund, Rudolf ; Paun, Gheorghe How to Obtain Computational Completeness in P Systems with One CatalystKonferenzbeitrag Inproceedings 2013
12Bartocci, Ezio ; Grosu, Radu Monitoring with uncertaintyKonferenzbeitrag Inproceedings2013
13Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplineKonferenzbeitrag Inproceedings 2019
14Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura ; Sanguinetti, Guido On the Robustness of Temporal Properties for Stochastic ModelsKonferenzbeitrag Inproceedings 2013
15Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
16Bartocci, Ezio Sampling-based Decentralized Monitoring for Networked Embedded SystemsKonferenzbeitrag Inproceedings 2013
17Arming, Sebastian ; Bartocci, Ezio ; Sokolova, Ana SEA-PARAM: Exploring Schedulers in Parametric MDPsKonferenzbeitrag Inproceedings2017
18Geibinger, Tobias ; Tompits, Hans Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent LogicsKonferenzbeitrag Inproceedings 2020
19Kuich, Werner ; Droste, Manfred ; Esik, Zoltan The Triple-Pair Construction for Weighted Omega-Pushdown AutomataKonferenzbeitrag Inproceedings2017
20Freund, Rudolf (Tissue) P Systems with Vesicles of MultisetsKonferenzbeitrag Inproceedings 2017