books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 285; Issue 2
Main
Theoretical Computer Science
Volume 285; Issue 2
Theoretical Computer Science
Volume 285; Issue 2
1
Preface
Narciso Martı&
,
#x0301
,
-Oliet
,
José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 42 KB
Your tags:
english, 2002
2
Rewriting logic: roadmap and bibliography
Narciso Martı́-Oliet
,
José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 360 KB
Your tags:
english, 2002
3
ELAN from a rewriting logic point of view
Peter Borovanský
,
Claude Kirchner
,
Hélène Kirchner
,
Pierre-Etienne Moreau
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 281 KB
Your tags:
english, 2002
4
Maude: specification and programming in rewriting logic
M. Clavel
,
F. Durán
,
S. Eker
,
P. Lincoln
,
N. Martı́-Oliet
,
J. Meseguer
,
J.F. Quesada
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 380 KB
Your tags:
english, 2002
5
Reflection in conditional rewriting logic
Manuel Clavel
,
José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 412 KB
Your tags:
english, 2002
6
Logical foundations of CafeOBJ
Răzvan Diaconescu
,
Kokichi Futatsugi
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 297 KB
Your tags:
english, 2002
7
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Fabio Gadducci
,
Ugo Montanari
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 385 KB
Your tags:
english, 2002
8
Specification of real-time and hybrid systems in rewriting logic
Peter Csaba Ölveczky
,
José Meseguer
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 395 KB
Your tags:
english, 2002
9
A Maude specification of an object-oriented model for telecommunication networks
Isabel Pita
,
Narciso Martı&
,
#x0301
,
-Oliet
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 265 KB
Your tags:
english, 2002
10
Actor theories in rewriting logic
Carolyn Talcott
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 333 KB
Your tags:
english, 2002
11
Equational rules for rewriting logic
Patrick Viry
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 328 KB
Your tags:
english, 2002
12
A formal approach to object-oriented software engineering
Martin Wirsing
,
Alexander Knapp
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 262 KB
Your tags:
english, 2002
13
Author index
Journal:
Theoretical Computer Science
Year:
2002
Language:
english
File:
PDF, 63 KB
Your tags:
english, 2002
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×