Parameterized Synthesis

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-10(1:12)2014
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Topology-Specific Synthesis of Self-Stabilizing Parameterized Systems With Constant-Space Processes

IEEE Transactions on Software Engineering
Software
2019English

Parameterized Proof Complexity

Computational Complexity
MathematicsComputational MathematicsTheoretical Computer ScienceComputational Theory
2011English

Parameterized Hash Functions

Annales UMCS, Informatica
2012English

Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems

2013English

Parameterized Codes Over Cycles

Analele Stiintifice ale Universitatii Ovidius Constanta, Seria Matematica
Applied MathematicsAnalysis
2013English

Separation of Delayed Parameterized Sources

2017English

Parameterized Heuristics for Incomplete Weighted CSPs

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

A Design for Parameterized Roles

English

Leopoldt’s Conjecture in Parameterized Families

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1988English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy