✦ LIBER ✦

The decision problem for some logics for finite words on infinite alphabets

✍ Scribed by Ch. Choffrut; S. Grigorieff

Publisher: Springer US
Year: 2009
Tongue: English
Weight: 255 KB
Volume: 158
Category: Article
ISSN: 1573-8795
DOI: 10.1007/s10958-009-9407-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the expressive power of temporal logi

On the expressive power of temporal logic for infinite words

✍ Joëlle Cohen-Chesnot 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 744 KB

A note on the space complexity of some d

A note on the space complexity of some decision problems for finite automata

✍ Tao Jiang; B. Ravikumar 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 533 KB

In this note, we establish the space complexity of decision problems (such as membership, nonemptiness and equivalence) for some finite automata. Our study includes 2-way infinite automata with a pebble.

The decision problem for some finite ext

The decision problem for some finite extensions of the intuitionistic theory of abelian groups

✍ Dov M. Gabbay 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 388 KB

Some improvements of the finite element

Some improvements of the finite element solution for one-dimensional problems

✍ Gabriel N. Gatica 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 863 KB

The complexity of some reachability prob

The complexity of some reachability problems for a system on a finite group

✍ Christian Golaszewski; Peter J. Ramadge 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 330 KB

On the spatial decay of the energy for s

On the spatial decay of the energy for some quasilinear boundary value problems in semi-infinite cylinders

✍ Joseph J Roseman; Shimshon Zimering 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 445 KB