%0 Conference Paper %1 conf/rta/Schmidt98 %A Schmidt, Renate A. %B RTA %D 1998 %E Nipkow, Tobias %I Springer %K dblp %P 106-120 %T E-Unification for Subsystems of S4. %U http://dblp.uni-trier.de/db/conf/rta/rta98.html#Schmidt98 %V 1379 %@ 3-540-64301-X

@inproceedings{conf/rta/Schmidt98, added-at = {2019-09-25T00:00:00.000+0200}, author = {Schmidt, Renate A.}, biburl = {https://www.bibsonomy.org/bibtex/214d35870875c92e74b7fdbe4b0c52f92/dblp}, booktitle = {RTA}, crossref = {conf/rta/1998}, editor = {Nipkow, Tobias}, ee = {https://doi.org/10.1007/BFb0052364}, interhash = {07e8f2182cd1dec3b753148010c8b67a}, intrahash = {14d35870875c92e74b7fdbe4b0c52f92}, isbn = {3-540-64301-X}, keywords = {dblp}, pages = {106-120}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-09-09T13:52:19.000+0200}, title = {E-Unification for Subsystems of S4.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta98.html#Schmidt98}, volume = 1379, year = 1998 }