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.
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… 
2017
2017
Explorer Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation
The efficient certification of classically intractable quantum devices has been a central research question for some time. However… 
2017
2017
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017
2016
2016
Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface
2016
2016
Preface: Electronic Proceedings in Theoretical Computer Science, Vol. 223
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… 
2015
2015
EPTCS 180 Proceedings of the Tenth Workshop on Model Based Testing
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… 
2012
2012
EPTCS 89 Proceedings Combined 19th International Workshop on
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… 
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)