Douglas R. Troeger

From MaRDI portal
Revision as of 00:36, 13 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Douglas R. Troeger to Douglas R. Troeger: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:797987

Available identifiers

zbMath Open troeger.douglas-rMaRDI QIDQ797987

List of research outcomes





PublicationDate of PublicationType
Challenge response password security using combinatorial group theory2010-08-19Paper
VIRTUAL PROPERTIES OF CYCLICALLY PINCHED ONE-RELATOR GROUPS2009-06-30Paper
https://portal.mardi4nfdi.de/entity/Q36146462009-03-09Paper
Reflections on the residual finiteness of one-relator groups.2008-02-22Paper
Step bisimulation is pomset equivalence on a parallel language without explicit internal choice1994-02-16Paper
A logical characterization of observation equivalence1985-01-01Paper
Weak equivalence in a class of structured program schemes1984-01-01Paper
An axiomatization of D-scheme strong equivalence1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47416961982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47429781982-01-01Paper

Research outcomes over time

This page was built for person: Douglas R. Troeger

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:797987&oldid=10995313"
Powered by MediaWiki