Topic F.4.1 - Mathematical Logic

	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: 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. Bosserhoff: Notions of Probabilistic Computability on Represented Spaces /jucs_14_6/notions_of_probabilistic_computability	page 956 - 995 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
	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
	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. 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
	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: 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
	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
	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
	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: 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
	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