✦ LIBER ✦

An Application of P4-Free Graphs in Theorem-Proving

✍ Scribed by SETH CHAIKEN; NEIL V. MURRAY; ERIK ROSENTHAL

Book ID: 119863001
Publisher: John Wiley and Sons
Year: 1989
Tongue: English
Weight: 775 KB
Volume: 555
Category: Article
ISSN: 0890-6564
DOI: 10.1111/j.1749-6632.1989.tb22442.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Application of Rado's Theorem to Disj

An Application of Rado's Theorem to Disjoint Matchings in Bipartite Graphs

✍ Murty, U. S. R. 📂 Article 📅 1978 🏛 Oxford University Press 🌐 English ⚖ 48 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1479 || Formalization of graph search algorithms and its applications

✍ Grundy, Jim; Newey, Malcolm 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 941 KB

On the Application of a Smoothness Funct

On the Application of a Smoothness Function in Proving a Local Limit Theorem

✍ Gamkrelidze, N. G. 📂 Article 📅 1989 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 362 KB

An extension of Sallee’s theorem to infi

An extension of Sallee’s theorem to infinite locally finite vap-free plane graphs

✍ Hwan-Ok Jung 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 216 KB

Numerical theorem proving by electronic

Numerical theorem proving by electronic computers and its application in various branches of mathematics

✍ P. S. Pankov; B. D. Bayachorova; S. A. Yugai 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 844 KB

The -median polytope of -free graphs: An

The -median polytope of -free graphs: An application of the matching theory

✍ Gautier Stauffer 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 265 KB

Recently, Baiou and Barahona [M. Baiou, F. Barahona, On the p-median polytope of Y -free graphs. Discrete Optimization (in press, available online October 2007)] gave a characterization of the p-median polytope for Y -free graphs. In this paper, we give an alternative proof of this result by reducin