C. Baier:
Probabilistic Models for Reo Connector Circuits
/jucs_11_10/probabilistic_models_for_reo

page 1718 - 1748
Vol.11 / Issue 10

B. Courcelle, R. G. Downey, M. R. Fellows:
A Note on the Computability of Graph Minor Obstruction Sets for Monadic Second Order Ideals
/jucs_3_11/a_note_on_the

page 1194 - 1198
Vol.3 / Issue 11

M. J. Dinneen:
Too Many Minor Order Obstructions (For Parameterized Lower Ideals)
/jucs_3_11/too_many_minor_order

page 1199 - 1206
Vol.3 / Issue 11

S. Foldes, P. L. Hammer:
Monotone, Horn and Quadratic Pseudo-Boolean Functions
/jucs_6_1/monotone_horn_and_quadratic

page 97 - 104
Vol.6 / Issue 1

J. Goldstine, M. Kappes, C.M. Kintala, H. Leung, A. Malcher, D. Wotschke:
Descriptional Complexity of Machines with Limited Resources
/jucs_8_2/descriptional_complexity_of_machines

page 193 - 234
Vol.8 / Issue 2

H. Ishihara, B. Khoussainov:
Effectiveness of the Completeness Theorem for an Intermediate Logic
/jucs_3_11/effectiveness_of_the_completeness

page 1255 - 1265
Vol.3 / Issue 11

M. Mac an Airchinnigh:
An Eclectic View of the Irish School of Constructive Mathematics, from [Lucas 1978] to [Mac an Airchinnigh 2001]
/jucs_7_8/an_eclectic_view_of

page 668 - 691
Vol.7 / Issue 8

L. C. Paulson:
A Generic Tableau Prover and its Integration with Isabelle
/jucs_5_3/a_generic_tableau_prover

page 73 - 87
Vol.5 / Issue 3

G. Rosu:
Kan Extensions of Institutions
/jucs_5_8/kan_extensions_of_institutions

page 482 - 493
Vol.5 / Issue 8

B. Zouari:
A Structure Causality Relation for Liveness Characterisation in Petri Nets
/jucs_12_2/a_structure_causality_relation

page 214 - 232
Vol.12 / Issue 2