Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,823,737 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.
2017
2017
Analyzing Industrial Simulink Models by Statistical Model Checking
Predrag Filipovikj
,
Nesredin Mahmud
,
+4 authors
Henrik Lönn
2017
Corpus ID: 5094970
The evolution of automotive systems has been rapid. Nowadays, electronic brains control dozens of functions in vehicles, like…
Expand
2013
2013
Invariant-Free Deduction Systems for Temporal Logic
J. Gaintzarain
Bull. EATCS
2013
Corpus ID: 4782509
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive…
Expand
2012
2012
An Application of Automated Theorem Provers to Computer System Security: The Schematic Protection Model
M. Hirschfeld
2012
Corpus ID: 59780641
Abstract : The Schematic Protection Model is specified in SAL and theorems about Take-Grant and New Technology File System…
Expand
2009
2009
Demonic Kleene Algebra
J. Carufel
2009
Corpus ID: 125562390
We first recall the concept of Kleene algebra with domain (KAD). Then we explain how to use the operators of KAD to define a…
Expand
2008
2008
A Size-Aware Type System with Algebraic Data Types
A. Tamalet
,
O. Shkaravska
,
M. V. Eekelen
2008
Corpus ID: 3043052
PCT No. PCT/EP87/00487 Sec. 371 Date Jun. 27, 1988 Sec. 102(e) Date Jun. 27, 1988 PCT Filed Aug. 27, 1987 PCT Pub. No. WO88/02049…
Expand
2007
2007
Model checking dynamic epistemics in branching time
Hans van Ditmarsch
,
J. Ruan
,
W. Hoek
2007
Corpus ID: 14185647
We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time…
Expand
2006
2006
An Esterel Virtual Machine for Embedded Systems
Becky Plummer
,
Mukul Khajanchi
,
Stephen Anthony Edwards
2006
Corpus ID: 16716986
Embedded systems often suer from severe resource constraints such as limited memory for programs and data. In this work, we…
Expand
2006
2006
Simulations as a genuinely categorical concept
J. Koslowski
2006
Corpus ID: 115818462
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