Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic F. - Theory of Computation
Topic F.4 - MATHEMATICAL LOGIC AND FORMAL LANGUAGES
Topic F.4.1 - Mathematical Logic

M. Alférez, R.E. Lopez-Herrejón, A. Moreira, V. Amaral, A. Egyed:
Consistency Checking in Early Software Product Line Specifications - The VCC Approach
/jucs_20_5/consistency_checking_in_early
page 640 - 665
Vol.20 / Issue 5
R. Andersen, S.M. Cioabă:
Spectral Densest Subgraph and Independence Number of a Graph
/jucs_13_11/spectral_densest_subgraph_and
page 1501 - 1513
Vol.13 / Issue 11
T. Aoto, Y. Toyama:
Persistency of Confluence
/jucs_3_11/persistency_of_confluence
page 1134 - 1147
Vol.3 / Issue 11
M.A. Baroni:
Constructive Suprema
/jucs_11_12/constructive_suprema
page 1865 - 1877
Vol.11 / Issue 12
N. Berregeb:
Proving Properties for Behavioural Specifications with Term Observation
/jucs_12_10/proving_properties_for_behavioural
page 1413 - 1425
Vol.12 / Issue 10
V. Bosserhoff:
Notions of Probabilistic Computability on Represented Spaces
/jucs_14_6/notions_of_probabilistic_computability
page 956 - 995
Vol.14 / Issue 6
V. Bosserhoff:
The Bit-Complexity of Finding Nearly Optimal Quadrature Rules for Weighted Integration
/jucs_14_6/the_bit_complexity_of
page 938 - 955
Vol.14 / Issue 6
V. Brattka, R. Dillhage:
Computability of the Spectrum of Self-Adjoint Operators
/jucs_11_12/computability_of_the_spectrum
page 1884 - 1900
Vol.11 / Issue 12
A.D. Brucker, F. Rittinger, B. Wolff:
HOL-Z 2.0: A Proof Environment for Z-Specifications
/jucs_9_2/hol_z_2
page 152 - 172
Vol.9 / Issue 2
S. Caporaso, G. Pani, E. Covino:
Incompleteness in Linear Time
/jucs_6_12/incompleteness_in_linear_time
page 1185 - 1196
Vol.6 / Issue 12
V. Emil Cazanescu, G. Rosu:
Weak Inclusion Systems: Part Two
/jucs_6_1/weak_inclusion_system_part
page 5 - 21
Vol.6 / Issue 1
R. Ceterchi:
The Lattice Structure of Pseudo_Wajsberg Algebras
/jucs_6_1/the_lattice_structure_of
page 22 - 38
Vol.6 / Issue 1
N. Chetcuti-Sperandio, L.F.d. Cerro:
A Decision Method for Duration Calculus
/jucs_5_11/a_decision_method_for
page 743 - 764
Vol.5 / Issue 11
L. Colson, D. Michel:
Pedagogical Natural Deduction Systems: the Propositional Case
/jucs_13_10/pedagogical_natural_deduction_systems
page 1396 - 1410
Vol.13 / Issue 10
L. Colson, V. Demange:
Investigations on a Pedagogical Calculus of Constructions
/jucs_19_6/investigations_on_a_pedagogical
page 729 - 749
Vol.19 / Issue 6
T. Coquand, B. Spitters:
Formal Topology and Constructive Mathematics: the Gelfand and Stone-Yosida Representation Theorems
/jucs_11_12/formal_topotoly_and_constructive
page 1932 - 1944
Vol.11 / Issue 12
M.J. Cresswell:
Non-Denumerable Infinitary Modal Logic
/jucs_15_1/non_denumerable_infinitary_modal
page 63 - 71
Vol.15 / Issue 1
D. Diaconescu, G. Georgescu:
On the Forcing Semantics for Monoidal t-norm Based Logic
/jucs_13_11/on_the_forcing_semantics
page 1550 - 1572
Vol.13 / Issue 11
D. Doder, Z. Ognjanović, Z. Marković:
An Axiomatization of a First-order Branching Time Temporal Logic
/jucs_16_11/an_axiomatization_of_a
page 1439 - 1451
Vol.16 / Issue 11
D. Drusinsky:
Behavioral and Temporal Rule Checking for Gaussian Random Process – a Kalman Filter Example
/jucs_19_15/behavioral_and_temporal_rule
page 2198 - 2206
Vol.19 / Issue 15
D. Drusinsky:
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
/jucs_12_5/on_line_monitoring_of
page 482 - 498
Vol.12 / Issue 5
D. Drusinsky:
Behavioral and Temporal Pattern Detection within Financial Data with Hidden Information
/jucs_18_14/behavioral_and_temporal_pattern
page 1950 - 1966
Vol.18 / Issue 14
M. Faizrahmanov, I. Kalimullin:
The Enumeration Spectrum Hierarchy of α-families and Lowα Degrees
/jucs_22_7/the_enumeration_spectrum_hierarchy
page 943 - 955
Vol.22 / Issue 7
M. Faizrahmanov, I. Kalimullin, A. Montalban, V. Puzarenko:
The Least ∑-jump Inversion Theorem for n-families
/jucs_23_6/the_least_sigma_jump
page 529 - 538
Vol.23 / Issue 6
F. Ferreira, G. Ferreira:
The Riemann Integral in Weak Systems of Analysis
/jucs_14_6/the_riemann_integral_in
page 908 - 937
Vol.14 / Issue 6
J. Franco, M. Kouril, J. Schlipf, S. Weaver, M. Dransfield, W.M. Vanfleet:
Function-Complete Lookahead in Support of Efficient SAT Search Heuristics
/jucs_10_12/function_complete_lookahead_in
page 1655 - 1692
Vol.10 / Issue 12
G. Georgescu, I. Leustean:
A Representation Theorem for Monadic Pavelka Algebras
/jucs_6_1/a_representation_theorem_for
page 105 - 111
Vol.6 / Issue 1
R. Goldblatt:
Axiomatic Classes of Intuitionistic Models
/jucs_11_12/axiomaatic_classes_of
page 1945 - 1962
Vol.11 / Issue 12
V. Goranko, A. Montanari, G. Sciavicco:
Propositional Interval Neighborhood Temporal Logics
/jucs_9_9/propositional_interval_neighborhood_temporal
page 1137 - 1167
Vol.9 / Issue 9
F. Harary:
The Automorphism Group of a Hypercube
/jucs_6_1/the_automorphism_group_of
page 136 - 138
Vol.6 / Issue 1
A. Iorgulescu:
On BCK Algebras - Part I.b: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
/jucs_14_22/on_bck_algebras
page 3686 - 3715
Vol.14 / Issue 22
A. Iorgulescu:
Connections Between MVn Algebras and n-valued Lukasiewicz-Moisil Algebras - IV
/jucs_6_1/connection_between_mvn_algebras
page 139 - 154
Vol.6 / Issue 1
A. Iorgulescu:
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
/jucs_13_11/on_bck_algebras_part
page 1628 - 1654
Vol.13 / Issue 11
H. Ishihara:
A Canonical Model Construction for Substructural Logics
/jucs_6_1/a_canonical_model_construction
page 155 - 168
Vol.6 / Issue 1
L. Leustean:
Rates of Asymptotic Regularity for Halpern Iterations of Nonexpansive Mappings
/jucs_13_11/rates_of_asymptotic_regularity
page 1680 - 1691
Vol.13 / Issue 11
R. Dueire Lins:
Partial Categorical Multi-Combinators and Church-Rosser Theorems
/jucs_10_7/partial_categorical_multi_combinators
page 769 - 788
Vol.10 / Issue 7
H.R. Mahrooghi, R. Jalili:
An Algebraic Theory of Epistemic Processes
/jucs_19_10/an_algebraic_theory_of
page 1396 - 1432
Vol.19 / Issue 10
M.A. Martins:
Behavioral Institutions and Refinements in Generalized Hidden Logics
/jucs_12_8/behavioral_institutions_and_refinements
page 1020 - 1049
Vol.12 / Issue 8
D. Della Monica, V. Goranko, A. Montanari, G. Sciavicco:
Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
/jucs_18_20/crossing_the_undecidability_border
page 2798 - 2831
Vol.18 / Issue 20
S. Negri:
Permutability of Rules for Linear Lattices
/jucs_11_12/permutability_of_rules_for
page 1986 - 1995
Vol.11 / Issue 12
E.-R. Olderog, H. Dierks:
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
/jucs_9_2/mobyrt_a_tool_for
page 88 - 105
Vol.9 / Issue 2
E. Palmgren:
Quotient Spaces and Coequalisers in Formal Topology
/jucs_11_12/quotient_spaces_and_coequalisers
page 1996 - 2007
Vol.11 / Issue 12
M. Rathjen:
Constructive Set Theory and Brouwerian Principles
/jucs_11_12/constructive_set_theory_and
page 2008 - 2033
Vol.11 / Issue 12
S. Ratschan:
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
/jucs_6_9/uncertainty_propagation_in_heterogeneous
page 861 - 880
Vol.6 / Issue 9
W. Reif, G. Schellhorn, T. Vollmer, J. Ruf:
Correctness of Efficient Real-Time Model Checking
/jucs_7_2/correctness_of_efficient_real
page 194 - 209
Vol.7 / Issue 2
J. Rothe, H. Tews, B. Jacobs:
The Coalgebraic Class Specification Language CCSL
/jucs_7_2/the_coalgebraic_class_specification
page 175 - 193
Vol.7 / Issue 2
A. Sali, K.-D. Schewe:
A Characterisation of Coincidence Ideals for Complex Values
/jucs_15_1/a_characterisation_of_coincidence
page 304 - 354
Vol.15 / Issue 1
G. Schellhorn:
Verification of ASM Refinements Using Generalized Forward Simulation
/jucs_7_11/verification_of_asm_refinements
page 952 - 979
Vol.7 / Issue 11
G. Schellhorn:
ASM Refinement Preserving Invariants
/jucs_14_12/asm_refinement_preserving_invariants
page 1929 - 1948
Vol.14 / Issue 12
K.-D. Schewe, Q. Wang:
XML Database Transformations
/jucs_16_20/xml_database_transformations
page 3043 - 3072
Vol.16 / Issue 20
K.-D. Schewe:
Functional Dependencies with Counting on Trees
/jucs_11_12/functional_dependencies_with_counting
page 2063 - 2075
Vol.11 / Issue 12
M. Schröder:
On the Relationship between Filter Spaces and Weak Limit Spaces
/jucs_14_6/on_the_relationship_between
page 996 - 1015
Vol.14 / Issue 6
L. Staiger:
How Large is the Set of Disjunctive Sequences?
/jucs_8_2/how_large_is_the
page 348 - 362
Vol.8 / Issue 2
L. Staiger:
Hausdorff Measure and Lukasiewicz Languages
/jucs_11_12/hausdorff_measure_and_lukasiewicz
page 2114 - 2124
Vol.11 / Issue 12
R. F. Stärk, S. Nanchen:
A Logic for Abstract State Machines
/jucs_7_11/a_logic_for_abstract
page 980 - 1005
Vol.7 / Issue 11
J. Tick, Z. Kovacs, F. Friedler:
Synthesis of Optimal Workflow Structure
/jucs_12_9/synthesis_of_optimal_workflow
page 1385 - 1392
Vol.12 / Issue 9
D. Vaida:
Notes on Partially-Ordered Structures in Computer Science: I. PA-Ordered Semirings and Some Related Structures
/jucs_6_1/notes_on_partially_ordered
page 201 - 211
Vol.6 / Issue 1
M. Vujošević-Janičić, J. Tomašević, P. Janičić:
Random k-GD-Sat Model and its Phase Transition
/jucs_13_4/random_k_gd_sat
page 572 - 591
Vol.13 / Issue 4
L.S. Vîţă:
On Complements of Sets and the Efremovič Condition in Pre-apartness Spaces
/jucs_11_12/on_complements_of_sets
page 2159 - 2164
Vol.11 / Issue 12
Y. Xu, J. Liu, L. Martínez, D. Ruan:
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
/jucs_16_1/some_views_on_information
page 3 - 19
Vol.16 / Issue 1
S. de Amo, M.H.F. Alves:
Incremental Maintenance of Data Warehouses Based on Past Temporal Logic Operators
/jucs_10_9/incremental_maintenance_of_data
page 1035 - 1064
Vol.10 / Issue 9
J.A. Andrew van der Poll, P. Kotzé, W. Adrian Labuschagne:
Automated Support for Enterprise Information Systems
/jucs_10_11/automated_support_for_enterprise
page 1519 - 1539
Vol.10 / Issue 11
J. von Plato:
A Constructive Approach to Sylvester's Conjecture
/jucs_11_12/a_constructive_approach_to
page 2165 - 2178
Vol.11 / Issue 12