Inproceedings,
Fact Calculus: Using ORM and Lisa-D to Reason About Domains.
S. Hoppenbrouwers, H. Proper, and T. van der Weide.OTM Workshops, volume 3762 of Lecture Notes in Computer Science, page 720-729. Springer, (2005)
Meta data
- BibTeX key
- conf/otm/HoppenbrouwersPW05
- entry type
- inproceedings
- booktitle
- OTM Workshops
- year
- 2005
- pages
- 720-729
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 3762
- crossref
- conf/otm/2005-1
- ee
- https://www.wikidata.org/entity/Q59676990
- isbn
- 3-540-29739-1
- url
- http://dblp.uni-trier.de/db/conf/otm/otm2005-1.html#HoppenbrouwersPW05
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/otm/HoppenbrouwersPW05
%A Hoppenbrouwers, Stijn
%A Proper, Henderik Alex
%A van der Weide, Theo P.
%B OTM Workshops
%D 2005
%E Meersman, Robert
%E Tari, Zahir
%E Herrero, Pilar
%E Méndez, Gonzalo
%E Cavedon, Lawrence
%E Martin, David B.
%E Hinze, Annika
%E Buchanan, George
%E Pérez, María S.
%E Robles, Víctor
%E Humble, Jan
%E Albani, Antonia
%E Dietz, Jan L. G.
%E Panetto, Hervé
%E Scannapieco, Monica
%E Halpin, Terry A.
%E Spyns, Peter
%E Zaha, Johannes Maria
%E Zimányi, Esteban
%E Stefanakis, Emmanuel
%E Dillon, Tharam S.
%E Feng, Ling
%E Jarrar, Mustafa
%E Lehmann, Jos
%E de Moor, Aldo
%E Duval, Erik
%E Aroyo, Lora
%I Springer
%K dblp
%P 720-729
%T Fact Calculus: Using ORM and Lisa-D to Reason About Domains.
%U http://dblp.uni-trier.de/db/conf/otm/otm2005-1.html#HoppenbrouwersPW05
%V 3762
%@ 3-540-29739-1
@inproceedings{conf/otm/HoppenbrouwersPW05,
added-at = {2019-06-02T00:00:00.000+0200},
author = {Hoppenbrouwers, Stijn and Proper, Henderik Alex and van der Weide, Theo P.},
biburl = {https://www.bibsonomy.org/bibtex/2e8d33dcc841ef02fa5d1f93e084a8f01/dblp},
booktitle = {OTM Workshops},
crossref = {conf/otm/2005-1},
editor = {Meersman, Robert and Tari, Zahir and Herrero, Pilar and Méndez, Gonzalo and Cavedon, Lawrence and Martin, David B. and Hinze, Annika and Buchanan, George and Pérez, María S. and Robles, Víctor and Humble, Jan and Albani, Antonia and Dietz, Jan L. G. and Panetto, Hervé and Scannapieco, Monica and Halpin, Terry A. and Spyns, Peter and Zaha, Johannes Maria and Zimányi, Esteban and Stefanakis, Emmanuel and Dillon, Tharam S. and Feng, Ling and Jarrar, Mustafa and Lehmann, Jos and de Moor, Aldo and Duval, Erik and Aroyo, Lora},
ee = {https://www.wikidata.org/entity/Q59676990},
interhash = {f2000da7cdaa68186dac6cb2b7128647},
intrahash = {e8d33dcc841ef02fa5d1f93e084a8f01},
isbn = {3-540-29739-1},
keywords = {dblp},
pages = {720-729},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-09T15:08:59.000+0200},
title = {Fact Calculus: Using ORM and Lisa-D to Reason About Domains.},
url = {http://dblp.uni-trier.de/db/conf/otm/otm2005-1.html#HoppenbrouwersPW05},
volume = 3762,
year = 2005
}