First Order Logic with Domain Conditions. Wiedijk, F. & Zwanenburg, J. In Basin, D. & Wolff, B., editors, Theorem Proving in Higher Order Logics, Proceedings of TPHOLs 2003, volume 2758, of Lecture Notes in Computer Science, pages 221–237, 2003. Springer.
![First Order Logic with Domain Conditions [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Pdf bibtex
Pdf bibtex @inproceedings{freek2003b,
Author = {Freek Wiedijk and J. Zwanenburg},
Booktitle = {Theorem Proving in Higher Order Logics, Proceedings of TPHOLs 2003},
Date-Added = {2014-11-15 23:10:09 +0000},
Date-Modified = {2014-11-15 23:12:20 +0000},
Editor = {David Basin and Burkhart Wolff},
Pages = {221--237},
Publisher = {Springer},
Series = {Lecture Notes in Computer Science},
Title = {First Order Logic with Domain Conditions},
Url_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/partial.pdf},
Volume = {2758},
Year = {2003}}Downloads: 0
{"_id":"HoyFLkDYvCyTGWA9v","bibbaseid":"wiedijk-zwanenburg-firstorderlogicwithdomainconditions-2003","author_short":["Wiedijk, F.","Zwanenburg, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Freek"],"propositions":[],"lastnames":["Wiedijk"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Zwanenburg"],"suffixes":[]}],"booktitle":"Theorem Proving in Higher Order Logics, Proceedings of TPHOLs 2003","date-added":"2014-11-15 23:10:09 +0000","date-modified":"2014-11-15 23:12:20 +0000","editor":[{"firstnames":["David"],"propositions":[],"lastnames":["Basin"],"suffixes":[]},{"firstnames":["Burkhart"],"propositions":[],"lastnames":["Wolff"],"suffixes":[]}],"pages":"221–237","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"First Order Logic with Domain Conditions","url_pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/partial.pdf","volume":"2758","year":"2003","bibtex":"@inproceedings{freek2003b,\n\tAuthor = {Freek Wiedijk and J. Zwanenburg},\n\tBooktitle = {Theorem Proving in Higher Order Logics, Proceedings of TPHOLs 2003},\n\tDate-Added = {2014-11-15 23:10:09 +0000},\n\tDate-Modified = {2014-11-15 23:12:20 +0000},\n\tEditor = {David Basin and Burkhart Wolff},\n\tPages = {221--237},\n\tPublisher = {Springer},\n\tSeries = {Lecture Notes in Computer Science},\n\tTitle = {First Order Logic with Domain Conditions},\n\tUrl_Pdf = {http://www.cs.ru.nl/F.Wiedijk/pubs/partial.pdf},\n\tVolume = {2758},\n\tYear = {2003}}\n\n","author_short":["Wiedijk, F.","Zwanenburg, J."],"editor_short":["Basin, D.","Wolff, B."],"key":"freek2003b","id":"freek2003b","bibbaseid":"wiedijk-zwanenburg-firstorderlogicwithdomainconditions-2003","role":"author","urls":{" pdf":"http://www.cs.ru.nl/F.Wiedijk/pubs/partial.pdf"},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.michaelbeeson.com/research/papers/freek.bib","dataSources":["dCR2SmaT7gnYejraT"],"keywords":[],"search_terms":["first","order","logic","domain","conditions","wiedijk","zwanenburg"],"title":"First Order Logic with Domain Conditions","year":2003}