© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Graphs and Combinatorics. Algorithms and Programs
Octavian Patrascoiu, Nicolae Mitroi, and Gheorghe Marian
All Press, September 1995.Bibtex Record
@book{1685,
author = {Octavian Patrascoiu and Nicolae Mitroi and Gheorghe Marian},
title = {{G}raphs and {C}ombinatorics. {A}lgorithms and {P}rograms},
month = {September},
year = {1995},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1995/1685},
publication_type = {book},
submission_id = {23295_1063098663},
other_year = {1995},
editor = {All Press},
publisher = {All Press},
}