- 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 (|)
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 10 matches
- Christoph Dittmann:
Parity games, separations, and the modal μ-calculus. Technical University of Berlin, Germany, 2017, ISBN 978-3-7983-2887-7, pp. 1-284
- Mirjana Kocaleva, N. Stojkovikj, Aleksandra Stojanova, A. Krstev, B. Zlatanovska:
Improving on teaching curriculum of Calculus 2 at technical faculties. EDUCON 2017: 599-606
- Sebastian Vastag:
SLA Calculus. Technical University Dortmund, Germany, 2014
- Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann:
Matching in the Pi-Calculus (Technical Report). CoRR abs/1407.6406 (2014)
- Stefanie Schraufstetter:
A Pricing Framework for the Efficient Evaluation of Financial Derivatives based on Theta Calculus and Adaptive Sparse Grids. Technical University Munich, Verlag Dr. Hut 2012, ISBN 978-3-8439-0394-3, pp. 1-270
- Mnacho Echenim, Nicolas Peltier:
A Calculus for Generating Ground Explanations (Technical Report). CoRR abs/1201.5954 (2012)
- Gernot Stenz:
The disconnection calculus. Technical University Munich, Germany, Logos-Verlag 2002, ISBN 978-3-8325-0070-2, pp. 1-179
- Wolfgang Grieskamp:
A set based calculus and its implementation. Technical University of Berlin, Germany, 1999
- Morten Heine Sørensen:
Normalization in λ-calculus and type theory. University of Copenhagen, Denmark, Technical report / University of Copenhagen / Datalogisk institut 97/27, 1997
- Walter Dosch:
On a typed higher order functional calculus. Technical University Munich, Germany, 1987, pp. 1-258
loading more results
failed to load more results, please try again later
The full-text search results are provided via , courtesy of AI2.
found ?? matches
- service temporarily not available
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.