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