Skip to search formSkip to main contentSkip to account menu

Electronic Notes in Theoretical Computer Science

Known as: ENTCS 
Electronic Notes in Theoretical Computer Science is an electronic computer science journal published by Elsevier, started in 1995. Its issues include… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Abstraction is intensively used in the verification of large, complex or infinite-state systems. With abstractions getting more… 
2007
2007
The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be… 
2005
2005
2005
2005
RESUME. Les langages synchrones sont des langages specialises concus pour la programmation sure de systemes reactifs et temps… 
Review
1996
Review
1996
Abstract : This volume constitutes the proceedings of the First International Workshop on Rewriting Logic, held at the Asilomar…