Search results

Traveling-Salesman Problem and Minimum Spanning Trees 1970-01-01 Paper Parallel program schemata 1969-01-01 Paper Some Bounds on the Storage Requirements of Sequential...

Program Schemata 1972-01-01 Paper Parallel program schemata 1969-01-01 Paper The Organization of Computations for Uniform Recurrence Equations 1967-01-01 Paper...

function expansions in integer powers 1979-01-01 Paper Encoding of parallel program schemata by vector addition systems 1979-01-01 Paper https://portal.mardi4nfdi...

de/entity/Q4128421 1977-01-01 Paper Large-block segmentation and parallelization of program schemata 1976-01-01 Paper Finding arguments and results of operators...

commutative equivalence of program schemata 2001-01-28 Paper On the decidability of the equivalence problem for orthogonal sequential programs 2001-01-16 Paper On...

1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism I. Fundamental Results 1973-01-01 Paper Parallel Program Schemata and Maximal Parallelism...

2016-05-03 Paper Sup-interpretations, a semantic method for static analysis of program resources 2015-09-17 Paper An implicit characterization of PSPACE 2015-09-17...

design of relational database schemata 1982-01-01 Paper A formal approach to the definition and the design of conceptual schemata for databased systems 1982-01-01...

Paper Parallelizing operational schemata over block variables 1977-01-01 Paper Large-block segmentation and parallelization of program schemata 1976-01-01...

structure of approximation classes 2014-10-07 Paper Exponential approximation schemata for some network design problems 2014-08-13 Paper Moderately exponential...

model theory to the metatheory of program schemata 1977-01-01 Paper A Study of Schedules as Models of Synchronous Parallel Computation 1977-01-01 Paper Space...

Hopcroft 1973-01-01 Paper Programming by induction 1972-01-01 Paper On Classes of Program Schemata 1972-01-01 Paper Program Schemes with Pushdown Stores...

algebras, bisimulation, transition nets, etc.) (68Q85) Cites Work Parallel program schemata Title not available (Why is that?) Title not available (Why is...

models of parallel computation Program schemata technique to solve propositional program logics revised This page was built for publication: Program schemata...

Multiserialization of iterated transactions Parallel Program Schemata and Maximal Parallelism I. Fundamental Results Parallel program schemata The notions of consistency...

not available (Why is that?) Title not available (Why is that?) Parallel program schemata Title not available (Why is that?) Title not available (Why is...

generating functions (05A15) Sequences and sets (11B99) Cites Work Parallel program schemata A multiparameter analysis of the boundedness problem for vector...

Discrete event control/observation systems (93C65) Cites Work Parallel program schemata Title not available (Why is that?) An Algorithm for the General...

algebras, bisimulation, transition nets, etc.) (68Q85) Cites Work Parallel program schemata Two-variable logic on data trees and XML reasoning The covering...

Publication:3766818 Concurrent dynamic logic Parallel program schemata Some open questions in the theory of program schemes and dynamic logics Publication:3690242...