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

• 2016
• 
  Erika Ábrahám, Thi Mai Thuong Tran, Martin Steffen:
  Observable interface behaviour and inheritance. Math. Struct. Comput. Sci. 26(3): 561-605 (2016)
• 
  Benedikt Ahrens:
  Modules over relative monads for syntax and semantics. Math. Struct. Comput. Sci. 26(1): 3-37 (2016)
• 
  Thorsten Altenkirch, Conor McBride:
  Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. 26(1): 1-2 (2016)
• 
  Clément Aubert, Thomas Seiller:
  Characterizing co-NL by a group action. Math. Struct. Comput. Sci. 26(4): 606-638 (2016)
• 
  Jos C. M. Baeten, Bas Luttik, Tim Muller, Paul van Tilburg:
  Expressiveness modulo bisimilarity of regular expressions with parallel composition. Math. Struct. Comput. Sci. 26(6): 933-968 (2016)
• 
  Giovanni Tito Bernardi, Matthew Hennessy:
  Modelling session types using contracts. Math. Struct. Comput. Sci. 26(3): 510-560 (2016)
• 
  Sylvie Boldo, Catherine Lelay, Guillaume Melquiond:
  Formalization of real analysis: a survey of proof assistants and libraries. Math. Struct. Comput. Sci. 26(7): 1196-1233 (2016)
• 
  Filippo Bonchi, Marcello M. Bonsangue, Georgiana Caltais, Jan Rutten, Alexandra Silva:
  A coalgebraic view on decorated traces. Math. Struct. Comput. Sci. 26(7): 1234-1268 (2016)
• 
  Ana Bove, Alexander Krauss, Matthieu Sozeau:
  Partiality and recursion in interactive theorem provers - an overview. Math. Struct. Comput. Sci. 26(1): 38-88 (2016)
• 
  Luís Caires, Frank Pfenning, Bernardo Toninho:
  Linear logic propositions as session types. Math. Struct. Comput. Sci. 26(3): 367-423 (2016)
• 
  Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini:
  Information flow safety in multiparty sessions. Math. Struct. Comput. Sci. 26(8): 1352-1394 (2016)
• 
  Sara Capecchi, Elena Giachino, Nobuko Yoshida:
  Global escape in multiparty sessions. Math. Struct. Comput. Sci. 26(2): 156-205 (2016)
• 
  Konstantinos Chatzikokolakis, Catuscia Palamidessi, Christelle Braun:
  Compositional methods for information-hiding. Math. Struct. Comput. Sci. 26(6): 908-932 (2016)
• 
  Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
  Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016)
• 
  Ioana Cristescu, Daniel Hirschkoff:
  Termination in a π-calculus with subtyping. Math. Struct. Comput. Sci. 26(8): 1395-1432 (2016)
• 
  Yuxin Deng, Robert J. Simmons, Iliano Cervesato:
  Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26(5): 868-906 (2016)
• 
  Razvan Diaconescu, Alexandre Madeira:
  Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26(5): 745-788 (2016)
• 
  Diego Figueira, Piotr Hofman, Slawomir Lasota:
  Relating timed and register automata. Math. Struct. Comput. Sci. 26(6): 993-1021 (2016)
• 
  Sibylle B. Fröschle, Frank D. Valencia:
  Preface to special issue: EXPRESS 2010. Math. Struct. Comput. Sci. 26(6): 907 (2016)
• 
  Marco Gaboardi, Luca Paolini, Mauro Piccolo:
  On the reification of semantic linearity. Math. Struct. Comput. Sci. 26(5): 829-867 (2016)
• 
  Simon J. Gay, António Ravara:
  Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(2): 154-155 (2016)
• 
  Simon J. Gay, António Ravara:
  Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26(3): 365-366 (2016)
• 
  Neil Ghani, Peter G. Hancock:
  Containers, monads and induction recursion. Math. Struct. Comput. Sci. 26(1): 89-113 (2016)
• 
  Roberto Giacobazzi, Isabella Mastroeni:
  Making abstract models complete. Math. Struct. Comput. Sci. 26(4): 658-701 (2016)
• 
  Marco Giunti, Vasco Thudichum Vasconcelos:
  Linearity, session types and the Pi calculus. Math. Struct. Comput. Sci. 26(2): 206-237 (2016)
• 
  Daniele Gorla, Uwe Nestmann:
  Full abstraction for expressiveness: history, myths and facts. Math. Struct. Comput. Sci. 26(4): 639-654 (2016)
• 
  Matthew A. Goto, Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
  An extensible approach to session polymorphism. Math. Struct. Comput. Sci. 26(3): 465-509 (2016)
• 
  Mauricio Guillermo, Alexandre Miquel:
  Specifying Peirce's law in classical realizability. Math. Struct. Comput. Sci. 26(7): 1269-1303 (2016)
• 
  Willem Heijltjes, Lutz Straßburger:
  Proof nets and semi-star-autonomous categories. Math. Struct. Comput. Sci. 26(5): 789-828 (2016)
• 
  Cezar Ionescu:
  Vulnerability modelling with functional programming and dependent types. Math. Struct. Comput. Sci. 26(1): 114-128 (2016)

skipping 14 more matches