Electronic Proceedings in Theoretical Computer Science

Book title Buchtitel
Electronic Proceedings in Theoretical Computer Science
 
Publisher Herausgeber
Open Publishing Association
 
Place of publishing Erscheinungsort
247
 

Publications Publikationen

Results 1-20 of 21 (Search time: 0.004 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