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 176; Issue 1-2
Main
Theoretical Computer Science
Volume 176; Issue 1-2
Theoretical Computer Science
Volume 176; Issue 1-2
1
A symbolic reachability graph for coloured petri nets
G. Chiola
,
C. Dutheillet
,
G. Franceschinis
,
S. Haddad
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.78 MB
Your tags:
english, 1997
2
The first-order theory of lexicographic path orderings is undecidable
Hubert Comon
,
Ralf Treinen
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.30 MB
Your tags:
english, 1997
3
Limiting semantics of numerical programs
D.N Hoover
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.44 MB
Your tags:
english, 1997
4
Unification of infinite sets of terms schematized by primal grammars
Miki Hermann
,
Roman Galbavý
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 3.57 MB
Your tags:
english, 1997
5
Experiments in linear natural deduction
Simone Martini
,
Andrea Masini
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 853 KB
Your tags:
english, 1997
6
Monadic logic programs and functional complexity
Armando B. Matos
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.54 MB
Your tags:
english, 1997
7
Semantics for finite delay
Chrysafis Hartonas
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 1.92 MB
Your tags:
english, 1997
8
Higher-order subtyping
Benjamin Pierce
,
Martin Steffen
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.75 MB
Your tags:
english, 1997
9
Representing inductively defined sets by wellorderings in Martin-Löf's type theory
Peter Dybjer
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 347 KB
Your tags:
english, 1997
10
Bounded fixpoints for complex objects
Dan Suciu
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 3.43 MB
Your tags:
english, 1997
11
Composition and behaviors of probabilistic I/O automata
Sue-hwey Wu
,
Scott A. Smolka
,
Eugene W. Stark
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 2.46 MB
Your tags:
english, 1997
12
Unifying overloading and λ-abstraction: λ{}
Giuseppe Castagna
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 571 KB
Your tags:
english, 1997
13
Minimality of the system of seven equations for the category of finite sets
A. Massol
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 405 KB
Your tags:
english, 1997
14
Author index volume 176 (1997)
Journal:
Theoretical Computer Science
Year:
1997
Language:
english
File:
PDF, 47 KB
Your tags:
english, 1997
15
Editorial Board
Journal:
Theoretical Computer Science
Year:
1997
File:
PDF, 270 KB
Your tags:
1997
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
×
×