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

I.A. Durand, S.R. Schwer:
A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation
/jucs_14_20/a_tool_for_reasoning

page 3282 - 3306
Vol.14 / Issue 20

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

W. Gomaa:
Expressibility in ∑¹₁
/jucs_14_10/expressibility_in_sigma

page 1654 - 1677
Vol.14 / Issue 10

S. Hartmann, S. Link:
Weak Functional Dependencies: Full Propositional Expressiveness for the Database Practitioner
/jucs_15_1/weak_functional_dependencies_full

page 112 - 156
Vol.15 / Issue 1

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

V. Kreinovich, B.J. Kubica:
From Computing Sets of Optima, Pareto Sets, and Sets of Nash Equilibria to General Decision-Related Set Computations
/jucs_16_18/from_computing_sets_of

page 2657 - 2685
Vol.16 / Issue 18

H. Köhler:
Global Database Design based on Storage Space and Update Time Minimization
/jucs_15_1/global_database_design_based

page 195 - 240
Vol.15 / Issue 1

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