Representations of Stream Processors Using Nested Fixed Points

Representations of Stream Processors Using Nested Fixed Points

We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions. We define also an operation on the representations of two continuous functions between streams that yields a representa...

書誌詳細
主要な著者:	Neil Ghani, Peter Hancock, Dirk Pattinson
フォーマット:	論文
言語:	English
出版事項:	Logical Methods in Computer Science e.V. 2009-09-01
シリーズ:	Logical Methods in Computer Science
主題:	computer science - data structures and algorithms computer science - logic in computer science e.1 e.2 f.2.1 f.2.2
オンライン･アクセス:	https://lmcs.episciences.org/713/pdf

類似資料

Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
著者:: Lijun Zhang, 等
出版事項: (2008-11-01)

The complexity of global cardinality constraints
著者:: Andrei A. Bulatov, 等
出版事項: (2010-10-01)

Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
著者:: Lars Kuhtz, 等
出版事項: (2012-10-01)

Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
著者:: Libor Barto, 等
出版事項: (2012-02-01)

The complexity of linear-time temporal logic over the class of ordinals
著者:: Stephane Demri, 等
出版事項: (2010-12-01)

Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
著者:: Dušan Knop, 等
出版事項: (2019-12-01)

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae
著者:: Paola Bruscoli, 等
出版事項: (2016-05-01)

A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
著者:: Ahmed Bouajjani, 等
出版事項: (2009-04-01)

Formalizing Randomized Matching Algorithms
著者:: Dai Tri Man Le, 等
出版事項: (2012-08-01)

Visibly Tree Automata with Memory and Constraints
著者:: Hubert Comon-Lundh, 等
出版事項: (2008-06-01)

Polynomial Size Analysis of First-Order Shapely Functions
著者:: Olha Shkaravska, 等
出版事項: (2009-05-01)

Verification of Ptime Reducibility for system F Terms: Type Inference in Dual Light Affine Logic
著者:: Vincent Atassi, 等
出版事項: (2007-11-01)

Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator
著者:: Jan Krajíček
出版事項: (2012-08-01)

Width and size of regular resolution proofs
著者:: Alasdair Urquhart
出版事項: (2012-06-01)

Bootstrapping Inductive and Coinductive Types in HasCASL
著者:: Lutz Schröder
出版事項: (2008-12-01)

Improved Algorithms for Parity and Streett objectives
著者:: Krishnendu Chatterjee, 等
出版事項: (2017-09-01)

Well-definedness of Streams by Transformation and Termination
著者:: Hans H Zantema
出版事項: (2010-09-01)

Nested Hoare Triples and Frame Rules for Higher-order Store
著者:: Jan Schwinghammer, 等
出版事項: (2011-09-01)

A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
著者:: Takahito Aoto, 等
出版事項: (2012-03-01)

Weighted Logics for Nested Words and Algebraic Formal Power Series
著者:: Christian Mathissen
出版事項: (2010-02-01)

Generic Modal Cut Elimination Applied to Conditional Logics
著者:: Dirk Pattinson, 等
出版事項: (2011-03-01)

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
著者:: Silvio Ghilardi, 等
出版事項: (2010-12-01)

A Reduced Semantics for Deciding Trace Equivalence
著者:: David Baelde, 等
出版事項: (2017-06-01)

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
著者:: Paolo Baldan, 等
出版事項: (2008-10-01)

Guarded Second-Order Logic, Spanning Trees, and Network Flows
著者:: Achim Blumensath
出版事項: (2010-02-01)

Failure Trace Semantics for a Process Algebra with Time-outs
著者:: Rob van Glabbeek
出版事項: (2021-04-01)

Concurrency and Probability: Removing Confusion, Compositionally
著者:: Roberto Bruni, 等
出版事項: (2019-12-01)

Resolution Trees with Lemmas: Resolution Refinements that Characterize DLL Algorithms with Clause Learning
著者:: Samuel R. Buss, 等
出版事項: (2008-12-01)

Psi-calculi: a framework for mobile processes with nominal data and logic
著者:: Jesper Bengtson, 等
出版事項: (2011-03-01)

Event Structures for Petri nets with Persistence
著者:: Paolo Baldan, 等
出版事項: (2018-09-01)

Ologisms
著者:: Ruggero Pagnan
出版事項: (2018-08-01)

Efficient Open World Reasoning for Planning
著者:: Tamara Babaian, 等
出版事項: (2006-09-01)

Tractable Combinations of Temporal CSPs
著者:: Manuel Bodirsky, 等
出版事項: (2022-05-01)

The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
著者:: Manuel Bodirsky, 等
出版事項: (2020-02-01)

Complexity classifications for different equivalence and audit problems for Boolean circuits
著者:: Elmar BÃ¶hler, 等
出版事項: (2012-09-01)

A Strategy for Dynamic Programs: Start over and Muddle through
著者:: Samir Datta, 等
出版事項: (2019-05-01)

Randomisation and Derandomisation in Descriptive Complexity Theory
著者:: Kord Eickmeyer, 等
出版事項: (2011-09-01)

A lower bound on web services composition
著者:: Anca Muscholl, 等
出版事項: (2008-05-01)

Essential Convexity and Complexity of Semi-Algebraic Constraints
著者:: Manuel Bodirsky, 等
出版事項: (2012-10-01)

Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
著者:: Makoto Hamana
出版事項: (2017-11-01)