„Rewriting“

Suchergebnisse

1.000+ Treffer

• Termination of Programs using Term Rewriting and SAT Solving
  Giesl, Jürgen ; Schneider-Kamp, Peter ; Thiemann, René ; Swiderski, Stephan ; Nguyen, Manh Thang ; De Schreye, Daniel ; Serebrenik, Alexander
• Prozess-Rewriting zur Durchsetzung von Compliance in flexiblen Geschäftsprozessen – Ein Framework zur automatisierten Durchsetzung von Compliance-Regeln in Geschäftsprozessen
  Höhn, Sebastian 2010 Nomos Verlagsgesellschaft mbH & Co. KG
• Homological Computations for Term Rewriting Systems
  Malbos, Philippe ; Mimram, Samuel 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Homotopical Completion Procedure with Applications to Coherence of Monoids
  Guiraud, Yves ; Malbos, Philippe ; Mimram, Samuel 2013 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
  Kassing, Jan-Christoph ; Giesl, Jürgen 2025 Universitätsbibliothek der RWTH Aachen
• Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques
  Kotsireas, Ilias S. ; Kutsia, Temur ; Simos, Dimitris E.
• Reidemeister-Schreier type rewriting for semigroups
  Campbell, C. M. ; Robertson, Edmund F. ; Ruškuc, N. ; Thomas, R. M.
• Constance Brittain Bouchard, Rewriting Saints and Ancestors. Memory and Forgetting in France, 500–1200. Philadelphia, University of Pennsylvania Press 2015
  Kohl, Thomas
• Madeleine Lynch Dungy, Order and Rivalry. Rewriting the Rules of International Trade after the First World War. Cambridge, Cambridge University Press 2023
  Take, Gunnar
• Linear Realisability over Nets: Multiplicatives
  Ragot, Adrien ; Seiller, Thomas ; Tortora de Falco, Lorenzo 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Inside Uber: Rezension zu "Uberland: How Algorithms are Rewriting the Rules of Work" von Alex Rosenblat
  Schaupp, Simon 2019 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• Hughes, Judith M.: The Perversion of Holocaust Memory. Writing and Rewriting the Past after 1989, 160 S., Bloomsbury Academic, London 2022
  de Jong, Steffi
• Emily A. Winkler/Chris P. Lewis (Eds.), Rewriting History in the Central Middle Ages, 900–1300. (International Medieval Research, Vol. 26.) Turnhout, Brepols 2022
  Bubert, Marcel
• Match-Bounded String Rewriting Systems
  Geser, Alfons ; Hofbauer, Dieter ; Waldmann, Johannes
• Rewriting History: Backwards Causation and Conflicting Declarations Among Institutional Facts
  Corry, Richard
• Groupoids and the algebra of rewriting in group presentations
  Gilbert, Nick D. ; McDougall, E. A.
• Rewriting the phase diagram of a diamagnetic liquid crystal by a magnetic field
  Hajjaj, Fatin ; Kajitani, Takashi ; Ohsumi, Hiroyuki ; Tanaka, Yoshikazu ; Kato, Kenichi ; Takata, Masaki ; Kitazawa, Hideaki ; Arima, Taka-hisa ; Aida, Takuzo ; Fukushima, Takanori
• Only Connect E. M. Forster’s Legacies in British Fiction
  Cavalié, Elsa ; Mellet, Laurent 2017 Peter Lang AG, Internationaler Verlag der Wissenschaften
• A partial rehabilitation of side-effecting I/O – non-determinism in non-strict functional languages
  Schmidt-Schauß, Manfred 1996 Univ.-Bibliothek Frankfurt am Main
• Decidability of bounded second order unification
  Schmidt-Schauß, Manfred 1997 Univ.-Bibliothek Frankfurt am Main