%0 Conference Paper %1 conf/fct/Kaphengst81 %A Kaphengst, Heinz %B FCT %D 1981 %E Gécseg, Ferenc %I Springer %K dblp %P 173-181 %T What is Computable for Abstract Data Types? %U http://dblp.uni-trier.de/db/conf/fct/fct81.html#Kaphengst81 %V 117 %@ 3-540-10854-8

@inproceedings{conf/fct/Kaphengst81, added-at = {2016-12-04T00:00:00.000+0100}, author = {Kaphengst, Heinz}, biburl = {https://www.bibsonomy.org/bibtex/27b0ec4b596b917d659f8662656f997fb/dblp}, booktitle = {FCT}, crossref = {conf/fct/1981}, editor = {Gécseg, Ferenc}, ee = {http://dx.doi.org/10.1007/3-540-10854-8_18}, interhash = {3a604d1a2598c409814828545581b90b}, intrahash = {7b0ec4b596b917d659f8662656f997fb}, isbn = {3-540-10854-8}, keywords = {dblp}, pages = {173-181}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2016-12-06T11:38:54.000+0100}, title = {What is Computable for Abstract Data Types?}, url = {http://dblp.uni-trier.de/db/conf/fct/fct81.html#Kaphengst81}, volume = 117, year = 1981 }