Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/jlp/BerghammerW17
%A Berghammer, Rudolf
%A Winter, Michael
%D 2017
%J J. Log. Algebraic Methods Program.
%K
%P 1-25
%T Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.
%U http://dblp.uni-trier.de/db/journals/jlp/jlp88.html#BerghammerW17
%V 88
@article{journals/jlp/BerghammerW17,
added-at = {2023-12-13T07:20:17.000+0100},
author = {Berghammer, Rudolf and Winter, Michael},
biburl = {https://www.bibsonomy.org/bibtex/235df791fd3d1e91ea1bff3a400585dff/admin},
ee = {https://doi.org/10.1016/j.jlamp.2016.12.002},
interhash = {b7ccc3101554a2d000c6672e72fbf57f},
intrahash = {35df791fd3d1e91ea1bff3a400585dff},
journal = {J. Log. Algebraic Methods Program.},
keywords = {},
pages = {1-25},
timestamp = {2023-12-13T07:20:17.000+0100},
title = {Solving computational tasks on finite topologies by means of relation algebra and the RelView tool.},
url = {http://dblp.uni-trier.de/db/journals/jlp/jlp88.html#BerghammerW17},
volume = 88,
year = 2017
}