Fundamenta Informaticae - Tom Vol. 79, nr 1-2 (2007) - BazTech - Yadda

Tom - szczegóły

Tytuł artykułu

Vol. 79, nr 1-2

Czasopismo

Fundamenta Informaticae

Wydawca

IOS Press

Rocznik

2007

Identyfikatory

Zawartość wolumenu

Vol. 79, nr 1-2
- artykuł: A Note on the Emptiness of Semigroup Intersections (Bell P.), s. 1-4
- artykuł: Davis-Putnam Style Rules for Deciding Property S (Cowen R., Kolany A.), s. 5-15
- artykuł: An Algebraic Characterization of the Halting Probability (Chaitin G.), s. 17-23
- artykuł: A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution (Eiter T., Erdem E., Faber W., Senko J.), s. 25-69
- artykuł: A Propositional Proof System with Quantification Over Permutations (Herman G., Paterson T., Soltys M.), s. 71-83
- artykuł: Foundations of Modal Deductive Databases (Nguyen L.A. L.A.), s. 85-135
- artykuł: Composition Theorem for Generalized Sum (Rabinovich A.), s. 137-167
- artykuł: Optimal Proof Systems, Optimal Acceptors and Recursive Presentability (Sadowski Z.), s. 169-185
- artykuł: Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming (Vennekens J., Wittocx J., Mariën M., Denecker M.), s. 187-208
- artykuł: Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic (Vennekens J., Wittocx J., Mariën M., Denecker M.), s. 209-227
- artykuł: Bounded Model Checking for the Existential Fragment of TCTL-G and Diagonal Timed Automata (Woźna B., Zbrzezny A.), s. 229-256
- artykuł: A Comparative Analysis of Possibilistic Variances and Covariances of Fuzzy Numbers (Zhang W-G., Wang Y-L.), s. 257-263

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.