Search results
From MaRDI portal
- de/entity/Q4733412 1989-01-01 Paper Low cost environment changing in a shallow binding system 1986-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3718125 1986-01-01...10 bytes (18 words) - 09:16, 13 December 2023
- Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis 2020-05-04 Paper The applicability of logic program...10 bytes (18 words) - 20:35, 9 December 2023
- Consistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like Binding 2011-04-01 Paper On Trojan Horses of Thompson-Goerigk-Type, Their Generation...10 bytes (17 words) - 07:12, 13 December 2023
- Size-Change Termination and Transition Invariants 2010-10-01 Paper Rewriting Techniques and Applications 2009-04-30 Paper Call-by-value Termination in the Untyped...10 bytes (18 words) - 10:47, 24 September 2023
- process model of Rho GTP-binding proteins 2009-08-07 Paper On the Computational Power of Biochemistry 2009-02-03 Paper Termination Problems in Chemical Kinetics...10 bytes (17 words) - 21:23, 11 December 2023
- Paper CoLoSL: Concurrent Local Subjective Logic 2016-04-26 Paper Modular Termination Verification for Non-blocking Concurrency 2016-04-26 Paper Fault-Tolerant...10 bytes (17 words) - 00:44, 25 September 2023
- for second-order rewriting systems based on abstract syntax with variable binding 2022-12-20 Paper https://portal.mardi4nfdi.de/entity/Q5094148 2022-08-02...10 bytes (16 words) - 14:12, 7 October 2023
- Triangular decomposition of semi-algebraic systems 2013-01-10 Paper Non-termination Sets of Simple Linear Loops 2012-09-21 Paper Computing cylindrical algebraic...10 bytes (16 words) - 03:18, 25 September 2023
- Networks 2021-01-20 Paper Efficient Size Estimation and Impossibility of Termination in Uniform Dense Population Protocols 2021-01-20 Paper Computational Complexity...10 bytes (16 words) - 16:36, 6 October 2023
- to Haskell* 2021-05-20 Paper Resource Analysis driven by (Conditional) Termination Proofs 2020-05-04 Paper A core Erlang semantics for declarative debugging...10 bytes (18 words) - 12:52, 6 October 2023
- Paper Complete and decidable type inference for GADTs 2015-01-06 Paper On Termination, Confluence and Consistent CHR-based Type Inference 2014-11-25 Paper POSIX...10 bytes (16 words) - 17:58, 24 September 2023
- 2014-04-25 Paper Modeling credit value adjustment with downgrade-triggered termination clause using a ruin theoretic approach 2014-04-14 Paper Separation of...10 bytes (18 words) - 20:04, 8 December 2023
- The -Diagnosability for Regular Networks 2017-05-16 Paper On the finite termination of the Douglas-Rachford method for the convex feasibility problem 2016-12-07...10 bytes (16 words) - 00:29, 9 December 2023
- operational semantics with variable binding 1999-01-06 Paper https://portal.mardi4nfdi.de/entity/Q3839065 1998-10-08 Paper Termination modulo equations by abstract...10 bytes (19 words) - 15:23, 10 December 2023
- Partial Evaluation of Prolog 2010-05-04 Paper Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation 2010-04-27 Paper Efficient...10 bytes (16 words) - 03:32, 7 October 2023
- singleton types 2017-07-12 Paper A Higher-Order Logic for Concurrent Termination-Preserving Refinement 2017-05-19 Paper Homotopical patch theory 2016-09-29...10 bytes (17 words) - 20:33, 6 October 2023
- 2003-11-23 Paper A Semantics for : a Calculus with Overloading and Late-binding 2003-05-22 Paper Extending the system T\(_0\) of explicit mathematics: The...10 bytes (17 words) - 22:49, 24 September 2023
- Polynomials 2017-09-20 Paper Numerical Sparsity Determination and Early Termination 2017-05-10 Paper Computing rational solutions of linear matrix inequalities...10 bytes (16 words) - 03:21, 25 September 2023
- probabilistic and quantum distributions 2022-04-25 Paper Ghost signals: verifying termination of busy waiting 2022-03-25 Paper https://portal.mardi4nfdi.de/entity/Q3385638...10 bytes (17 words) - 15:28, 9 December 2023
- nonparametric bandit theory 1995-10-09 Paper Statistical Analysis of Ligand-Binding Experiments 1995-10-03 Paper https://portal.mardi4nfdi.de/entity/Q4839935...10 bytes (19 words) - 03:04, 12 December 2023
