Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,316 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Abstract rewriting machine
Computer science
Electronic Proceedings in Theoretical Computer Science
RCOS (computer sciences)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
Translation Validation of System Abstractions
J. Blech
,
Ina Schaefer
,
A. Poetzsch-Heffter
Runtime Verification
2007
Corpus ID: 210705
Abstraction is intensively used in the verification of large, complex or infinite-state systems. With abstractions getting more…
Expand
2007
2007
Passive induction and a solution to a Paris-Wilkie open question
D. Willard
Annals of Pure and Applied Logic
2007
Corpus ID: 6808392
2007
2007
Halting in quantum Turing computation
W. Fouché
,
Johannes Heidema
,
Glyn Jones
,
P. Potgieter
2007
Corpus ID: 16750093
The paper considers the halting scheme for quantum Turing machines. The scheme originally proposed by Deutsch appears to be…
Expand
Review
2005
Review
2005
Integrating Time and Resource into Circus
G. Pu
,
Zongyan Qiu
,
J. He
Brazilian Symposium on Formal Methods
2005
Corpus ID: 30513344
2005
2005
Implementing X
S. V. Bakel
,
Jayshan Raghunandan
TERMGRAPH
2005
Corpus ID: 1992843
2005
2005
Comparaison des styles de programmation de langages synchrones
C. André
2005
Corpus ID: 59747208
RESUME. Les langages synchrones sont des langages specialises concus pour la programmation sure de systemes reactifs et temps…
Expand
2004
2004
mu-Calculus Model Checking in Maude
Bow-Yaw Wang
Workshop on Rewriting Logic and Its Applications
2004
Corpus ID: 38627470
2001
2001
Spatial pattern discovering by learning the isomorphic subgraph from multiple attributed relation graphs
P. Hong
,
Thomas S. Huang
International Workshop on Computational…
2001
Corpus ID: 18358964
Review
1996
Review
1996
Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science…
J. Meseguer
1996
Corpus ID: 61093271
Abstract : This volume constitutes the proceedings of the First International Workshop on Rewriting Logic, held at the Asilomar…
Expand
1995
1995
Electronic Notes in Theoretical Computer Science 2 (1995)
C. Kirchner
,
M. Vittek
,
Pierre-Etienne Moreau
1995
Corpus ID: 59825775
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)
ACCEPT & CONTINUE