✦ LIBER ✦

An O(n log n)-Space Decision Procedure for the Relevance Logic B+

✍ Scribed by Luca Viganò

Book ID: 110221214
Publisher: Springer Netherlands
Year: 2000
Tongue: English
Weight: 277 KB
Volume: 66
Category: Article
ISSN: 0039-3215
DOI: 10.1023/a:1005212701420

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An O(nlog n)-SPACE Decision Procedure fo

An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

✍ Guido Fiorino 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 154 KB

An O(n log n) algorithm for the convex b

An O(n log n) algorithm for the convex bipartite matching problem

✍ G. Gallo 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 197 KB

An O(n log m) algorithm for the Josephus

An O(n log m) algorithm for the Josephus Problem

✍ Errol L Lloyd 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 458 KB

An O(n log n) implementation of the stan

An O(n log n) implementation of the standard method for minimizing n-state finite automata

✍ Norbert Blum 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 367 KB

An O ( n log n ) Algorithm for the Maxim

An O ( n log n ) Algorithm for the Maximum Agreement Subtree Problem for Binary Trees

✍ Cole, Richard; Farach-Colton, Martin; Hariharan, Ramesh; Przytycka, Teresa; Thor 📂 Article 📅 2000 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 238 KB

A parallel O(log n) algorithm for the dr

A parallel O(log n) algorithm for the drawing of algebraic curves in an n × n square

✍ R. Sommerhalder; S.C. Van Westrhenen 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 477 KB