Predicate Logic and Tree Automata With Tests

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-46432-8_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Predicate Logic With Anaphora

Semantics and Linguistic Theory
1994English

Formalising Design Patterns in Predicate Logic

2007English

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Relating Word and Tree Automata

Annals of Pure and Applied Logic
Logic
2006English

Enhancement of Cloud Authorization System Using Predicate Logic

International Journal of Security and its Applications
Computer Science
2017English

Generating Hard Tautologies Using Predicate Logic and the Symmetric Group

Logic Journal of the IGPL
Philosophy
2000English

Soft Component Automata: Composition, Compilation, Logic, and Verification

Science of Computer Programming
Software
2019English

Hyper-Minimization for Deterministic Tree Automata

International Journal of Foundations of Computer Science
Computer Science
2013English

RETRACTED ARTICLE: A Completeness Theorem for Continuous Predicate Modal Logic

Archive for Mathematical Logic
PhilosophyLogic
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy