𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on propositional proof complexity of some Ramsey-type statements

✍ Scribed by Jan Krajíček

Publisher
Springer
Year
2010
Tongue
English
Weight
184 KB
Volume
50
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on some variational statements fo
A note on some variational statements for the slow flow of a Navier-Poisson fluid
✍ P. Bettess 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 336 KB

## Abstract Three variational statements for the slow time‐independent flow of a Navier‐Poisson fluid are derived. All of these statements are suitable as the bases of finite elements. The first statement is applied successfully to several flow situations.

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.