%0 Thesis %1 phd/dnb/Wagner92 %A Wagner, Hubert %D 1992 %K dblp %P 1-172 %T Komplexitätstheoretische Untersuchungen zur Temporallogik.

@phdthesis{phd/dnb/Wagner92, added-at = {2021-07-17T00:00:00.000+0200}, author = {Wagner, Hubert}, biburl = {https://www.bibsonomy.org/bibtex/2ae5933cfb63e6803bf4fd518218c676f/dblp}, ee = {https://d-nb.info/930166140}, interhash = {1e1d3c28e4391ac9af268e67af4d1b77}, intrahash = {ae5933cfb63e6803bf4fd518218c676f}, keywords = {dblp}, pages = {1-172}, school = {Technical University of Dortmund, Germany}, timestamp = {2024-04-09T08:19:40.000+0200}, title = {Komplexitätstheoretische Untersuchungen zur Temporallogik.}, year = 1992 }