• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 16 matches

• 2008
• 
  Gérard Cécé, Pierre-Cyrille Héam, Yann Mainier:
  Clôtures transitives de semi-commutations et model-checking régulier. Tech. Sci. Informatiques 27(1-2): 7-28 (2008)
• 2000
• 
  Mireille Clerbout, Yves Roos, Isabelle Ryl:
  Semi-commutations and partial commutations. RAIRO Theor. Informatics Appl. 34(4): 307-330 (2000)
• 1995
• 
  Mireille Clerbout, Michel Latteux, Yves Roos:
  Semi-Commutations. The Book of Traces 1995: 487-552
• 1994
• 
  Volker Diekert, Edward Ochmanski, Klaus Reinhardt:
  On Confluent Semi-commutations: Decidability and Complexity Results. Inf. Comput. 110(1): 164-182 (1994)
• 1993
• 
  Volker Diekert:
  Möbius Functions and Confluent Semi-Commutations. Theor. Comput. Sci. 108(1): 25-43 (1993)
• 
  Volker Diekert:
  Rewriting, Möbius Functions and Semi-Commutations. FCT 1993: 1-15
• 
  Edward Ochmanski, Pierre-André Wacrenier:
  On Regular Compatibility of Semi-Commutations. ICALP 1993: 445-456
• 1992
• 
  Mireille Clerbout, Yves Roos, Wieslaw Zielonka:
  Semi-Commutations and Rational Expressions. ICALP 1992: 113-125
• 
  Edward Ochmanski:
  Modelling Concurrency with Semi-Commutations. MFCS 1992: 412-420
• 1991
• 
  Volker Diekert, Edward Ochmanski, Klaus Reinhardt:
  On Confluent Semi-Commutations - Decidability and Complexity Results. ICALP 1991: 229-241
• 
  Yves Roos, Pierre-André Wacrenier:
  Composition of Two Semi Commutations. MFCS 1991: 406-414
• 1990
• 
  Mireille Clerbout, D. Gonzalez:
  Decomposition of Semi Commutations. MFCS 1990: 209-216
• 
  Mireille Clerbout, Yves Roos:
  Semi-Commutations and Algebraic Languages. STACS 1990: 82-94
• 1989
• 
  Dang Van Hung, Elöd Knuth:
  Semi-Commutations and Petri Nets. Theor. Comput. Sci. 64(1): 67-81 (1989)
• 1987
• 
  Mireille Clerbout, Michel Latteux:
  Semi-commutations. Inf. Comput. 73(1): 59-74 (1987)
• 
  Yves Métivier, Edward Ochmanski:
  On Lexicographic Semi-Commutations. Inf. Process. Lett. 26(2): 55-59 (1987)