On Computing the Measures of First-Order Definable Sets of Trees

JOURNAL ARTICLE published 7 September 2018 in Electronic Proceedings in Theoretical Computer Science

Authors: Marcin Przybyłko

Practical Distributed Control Synthesis

JOURNAL ARTICLE published 11 November 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Doron Peled | Sven Schewe

JOURNAL ISSUE published 8 February 2022 in Electronic Proceedings in Theoretical Computer Science

Editors: João Marcos | Walther Neuper | Pedro Quaresma

A Compositional Framework for Scientific Model Augmentation

JOURNAL ARTICLE published 15 September 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Micah Halter | Christine Herlihy | James Fairbanks

A Procedure for Splitting Processes and its Application to Coordination

JOURNAL ARTICLE published 15 August 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: Sung-Shik T.Q. Jongmans | Dave Clarke | José Proença

Why Modal Characterizations of Process Semantics Totally Rock

JOURNAL ARTICLE published 13 August 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Wan Fokkink

Flag: a Self-Dual Modality for Non-Commutative Contraction and Duplication in the Category of Coherence Spaces

JOURNAL ARTICLE published 30 December 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Christian Retoré

A Language Support for Exhaustive Fault-Injection in Message-Passing System Models

JOURNAL ARTICLE published 13 November 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Masaya Suzuki | Takuo Watanabe

Regret Minimization in Discounted-Sum Games

JOURNAL ARTICLE published 20 September 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Guillermo Perez

Computable Measure Theory

JOURNAL ARTICLE published 3 June 2010 in Electronic Proceedings in Theoretical Computer Science

Authors: Klaus Weihrauch

Proceedings Fifth Workshop on Synthesis

JOURNAL ARTICLE published 22 November 2016 in Electronic Proceedings in Theoretical Computer Science

Authors: Rayna Dimitrova | Ruzica Piskac

Data refinement for true concurrency

JOURNAL ARTICLE published 24 May 2013 in Electronic Proceedings in Theoretical Computer Science

Authors: Brijesh Dongol | John Derrick

Polymorphic Types in ACL2

JOURNAL ARTICLE published 4 June 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Benjamin Selfridge | Eric Smith

Categorical characterizations of operator-valued measures

JOURNAL ARTICLE published 27 December 2014 in Electronic Proceedings in Theoretical Computer Science

Authors: Frank Roumen

Proceedings 36th International Conference on Logic Programming (Technical Communications)

JOURNAL ARTICLE published 19 September 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Yanhong A. Liu | Scott D. Stoller

Parallel Hyperedge Replacement String Languages

JOURNAL ARTICLE published 8 February 2021 in Electronic Proceedings in Theoretical Computer Science

Authors: Graham Campbell

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

JOURNAL ARTICLE published 27 February 2012 in Electronic Proceedings in Theoretical Computer Science

Authors: Danel Ahman | Marko Kääramees

Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

JOURNAL ARTICLE published 31 October 2011 in Electronic Proceedings in Theoretical Computer Science

Authors: Herman Geuvers | Gopalan Nadathur

JOURNAL ISSUE published 3 December 2020 in Electronic Proceedings in Theoretical Computer Science

Editors: Matt Luckcuck | Marie Farrell

Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education

JOURNAL ARTICLE published 24 August 2020 in Electronic Proceedings in Theoretical Computer Science

Authors: Jurriaan Hage