Search results

quantifier-free Presburger arithmetic 2010-10-12 Paper An interpolating sequent calculus for quantifier-free Presburger arithmetic 2010-09-14 Paper Ranking...

de/entity/Q4302459 1994-09-13 Paper Parallel pointer machines 1994-02-09 Paper Functional interpretations of feasibly constructive arithmetic 1993-10-13 Paper https://portal...

Useless-code elimination and program slicing for the pi-calculus. 2010-01-05 Paper Undecidable equivalences for basic parallel processes 2009-07-15 Paper...

simple extensions of models of Peano arithmetic 1984-01-01 Paper The strength of nonstandard methods in arithmetic 1984-01-01 Paper Mutually generic classes...

mardi4nfdi.de/entity/Q4335209 1997-10-16 Paper Parallel lossless image compression using Huffman and arithmetic coding 1997-02-27 Paper Indexing for data models...

theory 2024-08-15 Paper Which arithmetical data types admit fracterm flattening? 2024-08-15 Paper Four notions of fault for program specifications 2024-08-15...

methods for corecursive programs 2006-06-19 Paper FUNCTIONAL PEARL: Enumerating the rationals 2006-06-09 Paper Mathematics of Program Construction 2005-08-26...

Newtonian program analysis 2011-05-16 Paper Computing the least fixed point of positive polynomial systems 2011-01-17 Paper Newtonian program analysis --...

viewpoint 1993-10-10 Paper Extensions to Barrington's M-program model 1993-05-16 Paper Oracle branching programs and Logspace versus \(P^*\) 1992-06-28 Paper https://portal...

ordering 2009-11-06 Paper Fast arithmetic for triangular sets: from theory to practice 2009-06-18 Paper Fast arithmetic for triangular sets: from theory...

2017-07-12 Paper Abstract state machines capture parallel algorithms: correction and extension 2017-07-12 Paper Program termination and well partial orderings 2017-07-12...

linear logic and an application to a feasible arithmetic 2017-07-19 Paper Higher-order interpretations and program complexity 2016-05-03 Paper Implicit Computational...

note on simple programs with two variables 1993-05-24 Paper https://portal.mardi4nfdi.de/entity/Q4035243 1993-05-18 Paper On Efficient Parallel Algorithms...

organization of a class of parallel processes 1984-01-01 Paper Efficiency and optimality of one method of distributing program resources in multiprocessor...

Hybrid Automata Using Iterative Relaxation Abstraction 2009-03-11 Paper Arithmetic Strengthening for Shape Analysis 2009-03-03 Paper Model Checking – My...

TRAINING METHOD ON A PARALLEL COMPUTER SYSTEM 2004-10-06 Paper PARALLEL DISTRIBUTED NEURAL NETWORKS FOR CLASSIFICATION 2004-10-06 Paper PARALLEL SYMMETRIC ELIMINATION...

response of a third-order digital filter with two's complement arithmetic realized in parallel form 2006-09-11 Paper FURTHER INVESTIGATION ON CHAOS OF REAL...

compressive recovery 2018-08-29 Paper On the combinatorics of binary series-parallel graphs 2017-09-19 Paper A neural-network-based online optimal control approach...

1994-12-11 Paper Parallel stable compactification for ODEs with parameters and multipoint conditions 1994-12-04 Paper Stable parallel elimination for boundary...

Symmetrical level index arithmetic in simulation and modeling 1993-04-01 Paper Robust parallel computation in floating-point and SLI arithmetic 1993-01-11 Paper...