ERSHOV
1989
Springer
13 years 11 months ago
1989
Springer
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
CAAP
1990
13 years 11 months ago
1990
One approach to give semantics to languages with subtypes is by translation to target languages without subtyping: subtypings A 6 B are interpreted via conversion functions A B. ...
CAAP
1990
13 years 11 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
ACMSE
1990
ACM
13 years 11 months ago
1990
ACM
Current research in natural language processing is characterized by the development of theories of grammar which strongly depend on the lexicon to drive parsing systems (e.g. Lexi...
MFCS
1992
Springer
13 years 11 months ago
1992
Springer
In this paper we survey the major developments in understanding the complexity of the graph connectivity problem in several computational models, and highlight some challenging op...
MFCS
1992
Springer
13 years 11 months ago
1992
Springer
MFCS
1992
Springer
13 years 11 months ago
1992
Springer
MFCS
1992
Springer
13 years 11 months ago
1992
Springer
WG
1994
Springer
13 years 11 months ago
1994
Springer
WG
1994
Springer
13 years 11 months ago
1994
Springer
The goal of a fugitive-search game on a graph is to trap a fugitive that hides on the vertices of the graph by systematically placing searchers on the vertices. The fugitive is as...