%0 Conference Paper %1 conf/ctrs/Takano92 %A Takano, Akihiko %B CTRS %D 1992 %E Rusinowitch, Michaël %E Rémy, Jean-Luc %I Springer %K dblp %P 424-428 %T Generalized Partial Computation using Disunification to Solve Constraints. %U http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#Takano92 %V 656 %@ 3-540-56393-8

@inproceedings{conf/ctrs/Takano92, added-at = {2017-05-20T00:00:00.000+0200}, author = {Takano, Akihiko}, biburl = {https://www.bibsonomy.org/bibtex/26736aea90a1786d55efdff373124c623/dblp}, booktitle = {CTRS}, crossref = {conf/ctrs/1992}, editor = {Rusinowitch, Michaël and Rémy, Jean-Luc}, ee = {https://doi.org/10.1007/3-540-56393-8_32}, interhash = {f157cc3c66830749b226caebaf18314c}, intrahash = {6736aea90a1786d55efdff373124c623}, isbn = {3-540-56393-8}, keywords = {dblp}, pages = {424-428}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-09T11:47:27.000+0200}, title = {Generalized Partial Computation using Disunification to Solve Constraints.}, url = {http://dblp.uni-trier.de/db/conf/ctrs/ctrs92.html#Takano92}, volume = 656, year = 1992 }