• 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 37 matches

• 2020
• 
  Mauricio Ayala-Rincón, Philippe Balbiani:
  Introduction to the special issue: Unification. Math. Struct. Comput. Sci. 30(6): 570-571 (2020)
• 
  Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
  Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. 30(6): 597-626 (2020)
• 
  John C. Baez, Jade Master:
  Open Petri nets. Math. Struct. Comput. Sci. 30(3): 314-341 (2020)
• 
  Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters:
  Modal dependent type theory and dependent right adjoints. Math. Struct. Comput. Sci. 30(2): 118-138 (2020)
• 
  Ales Bizjak, Rasmus Ejlers Møgelberg:
  Denotational semantics for guarded dependent type theory. Math. Struct. Comput. Sci. 30(4): 342-378 (2020)
• 
  Andreas Blass, Yuri Gurevich:
  Witness algebra and anyon braiding. Math. Struct. Comput. Sci. 30(3): 234-270 (2020)
• 
  Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
  NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. Math. Struct. Comput. Sci. 30(7): 736-751 (2020)
• 
  Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
  SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020)
• 
  David M. Cerna, Temur Kutsia:
  Higher-order pattern generalization modulo equational theories. Math. Struct. Comput. Sci. 30(6): 627-663 (2020)
• 
  James Clift, Daniel Murfet:
  Encodings of Turing machines in linear logic. Math. Struct. Comput. Sci. 30(4): 379-415 (2020)
• 
  James Clift, Daniel Murfet:
  Cofree coalgebras and differential linear logic. Math. Struct. Comput. Sci. 30(4): 416-457 (2020)
• 
  Pieter Collins:
  Computable analysis with applications to dynamic systems. Math. Struct. Comput. Sci. 30(2): 173-233 (2020)
• 
  Roy L. Crole:
  The nominal/FM Yoneda Lemma. Math. Struct. Comput. Sci. 30(9): 1011-1024 (2020)
• 
  Ajay Kumar Eeralla, Christopher Lynch:
  Bounded ACh unification. Math. Struct. Comput. Sci. 30(6): 664-682 (2020)
• 
  Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
  Computing knowledge in equational extensions of subterm convergent theories. Math. Struct. Comput. Sci. 30(6): 683-709 (2020)
• 
  Alain Finkel, Jean Goubault-Larrecq:
  Forward analysis for WSTS, part I: completions. Math. Struct. Comput. Sci. 30(7): 752-832 (2020)
• 
  Laura Fontanella, Guillaume Geoffroy:
  Preserving cardinals and weak forms of Zorn's lemma in realizability models. Math. Struct. Comput. Sci. 30(9): 976-996 (2020)
• 
  Anton Freund:
  From Kruskal's theorem to Friedman's gap condition. Math. Struct. Comput. Sci. 30(8): 952-975 (2020)
• 
  Mai Gehrke, Daniela Petrisan, Luca Reggio:
  Quantifiers on languages and codensity monads. Math. Struct. Comput. Sci. 30(10): 1054-1088 (2020)
• 
  Silvio Ghilardi, Luigi Santocanale:
  Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. 30(6): 572-596 (2020)
• 
  Emmanuel Godard, Eloi Perdereau:
  Back to the Coordinated Attack Problem. Math. Struct. Comput. Sci. 30(10): 1089-1113 (2020)
• 
  Masahiro Hamano:
  A MALL geometry of interaction based on indexed linear logic. Math. Struct. Comput. Sci. 30(10): 1025-1053 (2020)
• 
  Bart Jacobs:
  A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1): 44-61 (2020)
• 
  Helmut Jürgensen:
  Multisets, heaps, bags, families: What is a multiset? Math. Struct. Comput. Sci. 30(2): 139-158 (2020)
• 
  Yunus D. K. Kutz, Manfred Schmidt-Schauß:
  Rewriting with generalized nominal unification. Math. Struct. Comput. Sci. 30(6): 710-735 (2020)
• 
  Daniel Leivant, Jean-Yves Marion:
  Primitive recursion in the abstract. Math. Struct. Comput. Sci. 30(1): 33-43 (2020)
• 
  Jean-Simon Pacaud Lemay:
  Convenient antiderivatives for differential linear categories. Math. Struct. Comput. Sci. 30(5): 545-569 (2020)
• 
  Qingguo Li, Zhenzhu Yuan, Dongsheng Zhao:
  A unified approach to some non-Hausdorff topological properties. Math. Struct. Comput. Sci. 30(9): 997-1010 (2020)
• 
  Maxime Lucas:
  A cubical Squier's theorem. Math. Struct. Comput. Sci. 30(2): 159-172 (2020)
• 
  Jade Master:
  Petri nets based on Lawvere theories. Math. Struct. Comput. Sci. 30(7): 833-864 (2020)

skipping 7 more matches