Skip to search formSkip to main contentSkip to account menu

Electronic Proceedings in Theoretical Computer Science

Known as: Eptcs 
Electronic Proceedings in Theoretical Computer Science is an international, peer-reviewed, open access series reporting research results in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
DBL-BrowserElectronic Notes in Theoretical Computer ScienceTheoretical computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2019
Review
2019
Anti-heterotic Computing
  • V. Kendon
  • From Astrophysics to Unconventional Computation
  • 2019
  • Corpus ID: 198360628
When two or more different computational components are combined to produce computational power greater than the sum of the parts… 
2017
2017
Resource-aware policies
2017
2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Fifth Workshop on Proof Exchange for Theorem Proving (PxTP 2017), held on… 
2016
2016
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
2016
2016
Preface: Electronic Proceedings in Theoretical Computer Science, Vol. 223
2016
2016
Monitoring Assumptions in Assume-Guarantee Contracts
Pre-deployment verification of software components with respect to behavioral specifications in the assume-guarantee form does… 
2015
2015
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as… 
2012
2012
Timed CTL Model Checking in Real-Time Maude
This paper presents a timed CTL model checker for Real- Time Maude and its semantic foundations. In particular, we give a timed… 
2010
2010
Proceedings of the Third Workshop From Biology To Concurrency and back. Electronic Proceedings in Theoretical Computer Science 19, 2010
This volume contains the papers presented at the 3rd Workshop "From Biology To Concurrency and back", FBTC 2010, held in Paphos… 
2009
2009
Proceedings Fourth Athens Colloquium on Algorithms and Complexity, ACAC 2009, Athens, Greece, August 20-21, 2009
  • ACAC
  • 2009
  • Corpus ID: 19102528
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)