nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Calculus for Overloaded Functions with Subtyping
|
Castagna, G. |
|
1995 |
117 |
1 |
p. 115-135 21 p. |
artikel |
2 |
A Single Recursive Predicate Is Sufficient for Pure Datalog
|
Shmueli, O. |
|
1995 |
117 |
1 |
p. 91-97 7 p. |
artikel |
3 |
A Structural Induction Theorem for Processes
|
Kurshan, R.P. |
|
1995 |
117 |
1 |
p. 1-11 11 p. |
artikel |
4 |
A Subexponential Randomized Algorithm for the Simple Stochastic Game Problem
|
Ludwig, W. |
|
1995 |
117 |
1 |
p. 151-155 5 p. |
artikel |
5 |
A Trace Semantics for Petri Nets
|
Hoogers, P.W. |
|
1995 |
117 |
1 |
p. 98-114 17 p. |
artikel |
6 |
Multiple Matching of Rectangular Patterns
|
Idury, R.M. |
|
1995 |
117 |
1 |
p. 78-90 13 p. |
artikel |
7 |
Node Replacement Graph Languages Squeezed with Chains, Trees, and Forests
|
Kim, C.W. |
|
1995 |
117 |
1 |
p. 63-77 15 p. |
artikel |
8 |
On Non-preemptive Scheduling of Recurring Tasks Using Inserted Idle Times
|
Howell, R.R. |
|
1995 |
117 |
1 |
p. 50-62 13 p. |
artikel |
9 |
On the Power of the Shift Instruction
|
Benamram, A.M. |
|
1995 |
117 |
1 |
p. 19-36 18 p. |
artikel |
10 |
Resolution for Quantified Boolean Formulas
|
Buning, H.K. |
|
1995 |
117 |
1 |
p. 12-18 7 p. |
artikel |
11 |
Safety by Uninterpreted Locks
|
Lausen, G. |
|
1995 |
117 |
1 |
p. 37-49 13 p. |
artikel |
12 |
Suprema of Open and Closed Formulas and Their Application to Resolution
|
Bellia, M. |
|
1995 |
117 |
1 |
p. 136-150 15 p. |
artikel |