Decision Procedures for String Constraints

doi 10.18130/v3r49x
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

University of Virginia

Related search

Solving String Constraints With Streaming String Transducers

Journal of Information Processing
2019English

Decision Procedures for Some Strong Hybrid Logics

Logic and Logical Philosophy
Philosophy
2013English

Multiple Decision Sequential Procedures

English

Reconsidering the Role of Procedures for Decision Acceptance

British Journal of Political Science
SociologyInternational RelationsPolitical Science
2016English

Providence, Foreknowledge, and Decision Procedures

Faith and Philosophy
PhilosophyReligious Studies
1993English

Decision Procedures for Extensions of the Theory of Arrays

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2007English

ExpTime Tableau Decision Procedures for Regular Grammar Logics With Converse

Studia Logica
Philosophy of ScienceLogicHistory
2011English

Daniel Kroening and Ofer Strichman: Decision Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2018English

The Operational Commander and Staff: Procedures for Effective Decision Making

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy