OPUS: Search

Search

Results 1-10 of 21 (Search time: 0.189 seconds).

Item hits:

Issue Date	Title	Author(s)
2011	Temporal logic for properties with relative frequency	Decker, Normann
2005	Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen	Staiger, Stefan
2011	Über die Billaudsche Vermutung	Walter, Tobias
2011	Eine Variante der Burrows-Wheeler Transformation mit Permutationen	Riegger, Philipp M.
2014	Das Wortproblem für Omega-Terme über Zweivariablenlogik	Wächter, Jan Philipp
2012	Contraction Hierarchies für komplexe Kostenmaße	Ruopp, Manuel
2012	SAT Solving mit GPU Unterstützung	Sieweck, Philipp
2011	Untersuchung von Eindeutigen Büchi Automaten	Pflüger, Hermann
2014	Offline-Speicherung und Darstellung von Geodaten auf Mobilgeräten	Krumpe, Filip
2011	Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen	Kausch, Jonathan