✦ LIBER ✦

Model-theoretic complexity of automatic structures

✍ Scribed by Bakhadyr Khoussainov; Mia Minnes

Book ID: 108054668
Publisher: Elsevier Science
Year: 2009
Tongue: English
Weight: 686 KB
Volume: 161
Category: Article
ISSN: 0168-0072
DOI: 10.1016/j.apal.2009.07.012

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-Theoretic Properties ofω-Automatic

Model-Theoretic Properties ofω-Automatic Structures

✍ Zaid, Faried Abu; Grädel, Erich; Kaiser, Łukasz; Pakusa, Wied 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 884 KB

Complexity of some natural problems in a

Complexity of some natural problems in automatic structures

✍ N. S. Vinokurov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 189 KB

Model Checking: A Complexity-Theoretic P

Model Checking: A Complexity-Theoretic Perspective: (invited talk)

✍ Moshe Vardi 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 30 KB

Infinitary Model-Theoretic Properties Of

Infinitary Model-Theoretic Properties Of χ-Saturated Structures

✍ Volker Weispfenning 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 754 KB

Complexity of decision-theoretic trouble

Complexity of decision-theoretic troubleshooting

✍ Marta Vomlelová 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 141 KB

The goal of troubleshooting is to find an optimal solution strategy consisting of actions and observations for repairing a device. We assume a probabilistic model of dependence between possible faults, actions, and observations; the goal is to minimize the expected cost of repair (ECR). We show that

A Large Scale Analysis of Information-Th

A Large Scale Analysis of Information-Theoretic Network Complexity Measures Using Chemical Structures

✍ Dehmer, Matthias; Barbarini, Nicola; Varmuza, Kurt; Graber, Armin; Douglas, Chri 📂 Article 📅 2009 🏛 Public Library of Science 🌐 English ⚖ 681 KB