public_html: Publications/tableaux-98.bib@7995bc5554b7 (annotated)

14 680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	1
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	@INPROCEEDINGS{Urban98,
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	AUTHOR = {C.~Urban},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	TITLE = {{I}mplementation of {P}roof {S}earch in the
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	{I}mperative {P}rogramming {L}anguage {P}izza},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	BOOKTITLE = {Automated Reasoning with Analytic Tableaux and
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	Related Methods},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	8	EDITOR = {H.~de Swart},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	PUBLISHER = {Springer-Verlag},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	SERIES = {LNAI},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	VOLUME = 1397,
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	PAGES = {313--319},
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	YEAR = 1998
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	}
680070975206 tuned Christian Urban <urbanc@in.tum.de> parents: diff changeset	15

author	Christian Urban <christian dot urban at kcl dot ac dot uk>
	Wed, 30 Mar 2016 16:37:07 +0100
changeset 407	7995bc5554b7
parent 14	680070975206
permissions	-rw-r--r--