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

• 2023
• 
  Mayer Goldberg:
  A Spigot-Algorithm for Square-Roots: Explained and Extended. CoRR abs/2312.15338 (2023)
• 2015
• 
  Mayer Goldberg:
  Ellipses and Lambda Definability. Log. Methods Comput. Sci. 11(3) (2015)
• 2012
• 
  Mayer Goldberg, Guy Wiener:
  A Declarative Approach for Software Modeling. PADL 2012: 18-32
• 2010
• 
  Mayer Goldberg, Guy Wiener:
  Generating Flexible Code for Associations. ENASE 2010: 96-104
• 
  Mayer Goldberg, Guy Wiener:
  Generating Code for Associations Supporting Operations on Multiple Instances. ENASE (Selected Papers) 2010: 163-177
• 
  Mayer Goldberg, Guy Wiener:
  Round-Trip Modeling Using OPM/PL. SwSTE 2010: 13-21
• 2005
• 
  Olivier Danvy, Mayer Goldberg:
  There and Back Again. Fundam. Informaticae 66(4): 397-413 (2005)
• 
  Mayer Goldberg:
  A Variadic Extension of Curry's Fixed-Point Combinator. High. Order Symb. Comput. 18(3-4): 371-388 (2005)
• 2004
• 
  Mayer Goldberg:
  A construction of one-point bases in extended lambda calculi. Inf. Process. Lett. 89(6): 281-286 (2004)
• 
  Hayit Greenspan, Jacob Goldberger, Arnaldo Mayer:
  Probabilistic Space-Time Video Modeling via Piecewise GMM. IEEE Trans. Pattern Anal. Mach. Intell. 26(3): 384-396 (2004)
• 2002
• 
  Mayer Goldberg, Mads Torgersen:
  How to Circumvent Church Numerals. Nord. J. Comput. 9(1): 1-12 (2002)
• 
  Mads Sig Ager, Olivier Danvy, Mayer Goldberg:
  A Symmetric Approach to Compilation and Decompilation. The Essence of Computation 2002: 296-331
• 
  Hayit Greenspan, Jacob Goldberger, Arnaldo Mayer:
  A Probabilistic Framework for Spatio-Temporal Video Representation & Indexing. ECCV (4) 2002: 461-475
• 
  Olivier Danvy, Mayer Goldberg:
  There and back again. ICFP 2002: 230-234
• 2000
• 
  Mayer Goldberg:
  Gödelization in the lambda calculus. Inf. Process. Lett. 75(1-2): 13-16 (2000)
• 
  Mayer Goldberg:
  Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. J. Funct. Program. 10(6): 607-623 (2000)
• 1997
• 
  Olivier Danvy, Mayer Goldberg:
  Partial Evaluation of the Euclidian Algorithm. LISP Symb. Comput. 10(2): 101-111 (1997)
• 1985
• 
  Morris Goldberg, David G. Goodenough, Mayer Alvo, Gerald M. Karam:
  A hierarchical expert system for updating forestry maps with Landsat data. Proc. IEEE 73(6): 1054-1063 (1985)