Search results
From MaRDI portal
- ty of two-sorted structures 1972-01-01 Paper Products of two-sorted structures 1972-01-01 Paper First Order Preservation Theorems in Two-Sorted Languages...10 bytes (16 words) - 10:35, 13 December 2023
- evaluation framework for order-sorted equational programs modulo axioms 2020-01-31 Paper Partial evaluation of order-sorted equational programs modulo axioms...10 bytes (16 words) - 02:26, 12 December 2023
- Conditional Order-Sorted Equational Maude Specifications 2010-10-12 Paper A Maude Coherence Checker Tool for Conditional Order-Sorted Rewrite Theories 2010-10-12...10 bytes (17 words) - 11:55, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q3995928 1992-09-17 Paper Intensional logic and two-sorted type theory 1989-01-01 Paper Remarks on Groenendijk and Stokhof's theory...10 bytes (19 words) - 18:51, 12 December 2023
- 2023-05-08 Paper On some geometric selection and optimization problems via sorted matrices 2022-12-16 Paper Constrained square-center problems 2022-12-09...10 bytes (17 words) - 16:06, 10 December 2023
- de/entity/Q5377425 2019-05-24 Paper Refined enumeration of permutations sorted with two stacks and a \(D_8\)-symmetry 2014-09-04 Paper Some statistics on restricted...10 bytes (16 words) - 08:00, 9 December 2023
- using prefix routing 2005-11-16 Paper ON COST-OPTIMAL MERGE OF TWO INTRANSITIVE SORTED SEQUENCES 2005-10-19 Paper BROADCASTING IN AD HOC NETWORKS BASED...10 bytes (18 words) - 06:04, 9 December 2023
- Improved approximation algorithms for computing \(k\) disjoint paths subject to two constraints 2015-07-10 Paper Improved approximation algorithms for constrained...10 bytes (16 words) - 18:37, 8 December 2023
- Publication Date of Publication Type ON COST-OPTIMAL MERGE OF TWO INTRANSITIVE SORTED SEQUENCES 2005-10-19 Paper...10 bytes (14 words) - 21:31, 27 December 2023
- Paper A finite axiomatization of positive MV-algebras 2022-07-13 Paper The two-sorted algebraic theory of states, and the universal states of MV-algebras 2021-07-14...10 bytes (16 words) - 02:38, 10 December 2023
- Publication Date of Publication Type TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE 2024-01-11 Paper Fixed-point posets in theories of truth 2019-06-06...10 bytes (16 words) - 11:13, 7 October 2023
- Publication Date of Publication Type AC unification through order-sorted AC1 unification 2022-12-09 Paper Combination techniques for non-disjoint equational...10 bytes (16 words) - 13:27, 7 October 2023
- mardi4nfdi.de/entity/Q5692450 2005-09-28 Paper Implicitly balanced solution of the two-phase flow equations coupled to nonlinear heat conduction 2004-11-12 Paper...10 bytes (18 words) - 12:57, 8 December 2023
- https://portal.mardi4nfdi.de/entity/Q5570212 1969-01-01 Paper An undecidable two sorted predicate calculus 1969-01-01 Paper...10 bytes (18 words) - 21:45, 27 December 2023
- degree graphs 2021-09-27 Paper Sorting a permutation by best short swaps 2021-06-30 Paper On the solution bound of two-sided scaffold filling 2021-06-22...10 bytes (16 words) - 00:02, 10 December 2023
- Selection and Ranking: Sorted Matrices 1984-01-01 Paper A Note on Expected Makespans for Largest-First Sequences of Independent Tasks on Two Processors 1984-01-01...10 bytes (18 words) - 11:08, 9 December 2023
- Model 2013-03-21 Paper On space efficient two dimensional range minimum data structures 2012-12-06 Paper Two Dimensional Range Minimum Queries and Fibonacci...10 bytes (18 words) - 22:42, 10 December 2023
- edge-partition problems and a note on ratio and sorted matrices searches 2010-05-25 Paper Efficient algorithms for two generalized 2-median problems and the group...10 bytes (18 words) - 06:46, 7 October 2023
- and reasoning via fragments of set theory 2017-06-26 Paper A decidable two-sorted quantified fragment of set theory with ordered pairs and some undecidable...10 bytes (16 words) - 16:31, 6 October 2023
- Date of Publication Type Reflective metalogical frameworks 2017-07-12 Paper Two Decades of Maude 2015-09-14 Paper https://portal.mardi4nfdi.de/entity/Q2851051...10 bytes (16 words) - 22:23, 11 December 2023
