%0 Thesis %1 phd/dnb/Wirth97 %A Wirth, Claus-Peter %D 1997 %I Kovač %K dblp %P 1-246 %T Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving. %@ 3-86064-551-X

@phdthesis{phd/dnb/Wirth97, added-at = {2021-07-17T00:00:00.000+0200}, author = {Wirth, Claus-Peter}, biburl = {https://www.bibsonomy.org/bibtex/2426ca16af1bc03b4cac58e024a63b879/dblp}, ee = {https://d-nb.info/949622958}, interhash = {44624e58a6b37aa80f616ab93b8e963b}, intrahash = {426ca16af1bc03b4cac58e024a63b879}, isbn = {3-86064-551-X}, keywords = {dblp}, pages = {1-246}, publisher = {Kovač}, school = {University of Kaiserslautern}, timestamp = {2024-04-09T08:41:31.000+0200}, title = {Positive negative conditional equations: a constructor-based framework for specification and inductive theorem proving.}, year = 1997 }