|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1130 occurrences of 612 keywords
|
|
|
Results
Found 3560 publication records. Showing 3559 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
113 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 90-106, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
103 | Antonino Salibra |
Topological incompleteness and order incompleteness of the lambda calculu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(3), pp. 379-401, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Lambda theories, order and topological incompleteness, orderability/unorderability, partially ordered models, Lambda calculus, topological models |
93 | Shihao Ji, Layne T. Watson, Lawrence Carin |
Semisupervised Learning of Hidden Markov Models via a Homotopy Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 31(2), pp. 275-287, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
90 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings, pp. 38-49, 2001, Springer, 3-540-42672-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
86 | Richard Kennaway, M. Ronan Sleep |
Director Strings as Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 10(4), pp. 602-626, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
82 | Alberto Carraro, Antonino Salibra |
Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 91-100, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
78 | Tom Tong Jing, Zhe Feng 0002, Yu Hu 0002, Xianlong Hong, Xiaodong Hu 0001, Guiying Yan |
lambda-OAT: lambda-Geometry Obstacle-Avoiding Tree Construction With O(nlog n) Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(11), pp. 2073-2079, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
78 | Satoshi Taoka, Toshiya Mashima, Toshimasa Watanabe |
A 2-approximation algorithm FSA+1 to (lambda+1)-edge-connect a specified set of vertices in a lambda-edge-connected graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 236-239, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
74 | Michael Beeson |
Mathematical Induction in Otter-Lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 36(4), pp. 311-344, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
computer proofs, second-order, Otter, mathematical induction, unification, automated deduction |
73 | Jaakko Järvi, John Freeman |
Lambda functions for C++0x. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 178-183, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lambda functions, C++, closures, STL |
72 | Chuck C. Liang, Gopalan Nadathur, Xiaochu Qi |
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(2), pp. 89-132, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
lambda conversion, implementation, lambda calculus, explicit substitution |
70 | Luigi Liquori |
Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
70 | Junibakti Sanubari |
Identification algorithm of nonminimum phase system based on t-distribution assumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS (1) ![In: IEEE Asia Pacific Conference on Circuits and Systems 2002, APCCAS 2002, Singapore, 16-18 December 2002, pp. 295-298, 2002, IEEE, 0-7803-7690-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
68 | Wayne Citrin, Richard Hall, Benjamin G. Zorn |
Programming with Visual Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 294-301, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
visual expressions, formal symbolic term rewriting system, VEX, expression-oriented component, VIPR, computer science education, visual programming, visual languages, teaching, teaching, lambda calculus, lambda calculus, programming theory, binding, rewriting systems, substitution, visual programming language, programming language semantics, functional programming languages, free variables |
67 | Chantal Berline, Giulio Manzonetto, Antonino Salibra |
Lambda Theories of Effective Lambda Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings, pp. 268-282, 2007, Springer, 978-3-540-74914-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Effective lambda models, Recursively enumerable lambda theories, Löwenheim-Skolem theorem, Lambda calculus, Graph models |
66 | Marco T. Morazán, Ulrik Pagh Schultz |
Optimal Lambda Lifting in Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 37-56, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
66 | Thérèse Hardin, Luc Maranget, Bruno Pagano |
Functional Back-Ends within the Lambda-Sigma Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 25-33, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
66 | Shinn-Der Lee, Daniel P. Friedman |
Enriching the Lambda Calculus with Contexts: Toward a Theory of Incremental Program Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 239-250, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
66 | Don Pigozzi, Antonino Salibra |
A Representation Theorem for Lambda Abstraction Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 629-639, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
65 | Amitabha Banerjee, Wu-chun Feng, Dipak Ghosal, Biswanath Mukherjee |
Algorithms for Integrated Routing and Scheduling for Aggregating Data from Distributed Resources on a Lambda Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(1), pp. 24-34, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
lambda grid, large scale data transfers, scheduling, routing, circuit switching |
64 | Marcelo P. Fiore |
Semantic analysis of normalisation by evaluation for typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 26-37, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
categorical glueing, lambda definability, normalisation by evaluation, typed abstract syntax with variable binding, logical relations, typed lambda calculus, initial algebra semantics |
62 | William Blum, C.-H. Luke Ong |
The Safe Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 39-53, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Jesper Jansson 0001, Joseph H.-K. Ng, Kunihiko Sadakane, Wing-Kin Sung |
Rooted Maximum Agreement Supertrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 43(4), pp. 293-307, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Richard Statman |
Morphisms and Partitions of V-sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 313-322, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
62 | Norman Ramsey |
Relocating Machine Instructions by Currying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'96 Conference on Programming Language Design and Implementation (PLDI), Philadephia, Pennsylvania, USA, May 21-24, 1996, pp. 226-236, 1996, ACM, 0-89791-795-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
62 | Roel C. de Vrijer |
Big trees in a lambda - calculus with lambda - expressions as types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 252-271, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
62 | Jean-Jacques Lévy |
An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 147-165, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
58 | Giulio Manzonetto, Antonino Salibra |
Boolean Algebras for Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 317-326, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
58 | Richard Kennaway, Zurab Khasidashvili, Adolfo Piperno |
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 51-65, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
57 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 400-414, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
54 | Saeed Mashhadi, Jawad A. Salehi |
Code-division multiple-access techniques in optical fiber networks - part III: optical AND logic gate receiver structure with generalized optical orthogonal codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(8), pp. 1457-1468, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Jie Wu 0001, Yuanyuan Yang 0001 |
The Postal Network: A Versatile Interconnection Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 1998 International Conference on Parallel Processing (ICPP '98), 10-14 August 1998, Minneapolis, Minnesota, USA, Proceedings, pp. 612-619, 1998, IEEE Computer Society, 0-8186-8650-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
54 | B. John Oommen, Jack R. Zgierski |
Breaking Substitution Cyphers Using Stochastic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(2), pp. 185-192, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
substitution cyphers, finite plaintext alphabet, cypher alphabet, unigrams, trigrams, automaton solution, cypher learning automaton, learning, cryptography, learning systems, cardinality, stochastic automata, stochastic automata, statistical information, relaxation theory, relaxation scheme |
54 | Barbara Petit |
A Polymorphic Type System for the Lambda-Calculus with Constructors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 234-248, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
strong normalisation, pattern matching, polymorphism, lambda-calculus |
54 | Anton Setzer |
Java as a Functional Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers, pp. 279-298, 2002, Springer, 3-540-14031-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object calculi, higher types, algebraic types, state pattern, Java, object-oriented programming, functional programming, Lambda calculus, visitor pattern, initial algebras, call-by-value |
53 | Jaroslav Pokorný |
XML Functionally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 2000 International Database Engineering and Applications Symposium, IDEAS 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings, pp. 266-274, 2000, IEEE Computer Society, 0-7695-0789-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
XML functionality, XML language, IS/IT community, markup text components, marking text components, typed XML data, XML-/spl lambda/, mathematical functions, XML objects, nested tables, XML-QL, data structures, query language, type system, data exchange, information sources, typed lambda calculus, XML data, database view, hypermedia markup languages |
51 | Lambda Moses |
From Geospatial to Spatial -Omics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 30(2), pp. 16-19, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
51 | Thomas Ehrhard, Laurent Regnier |
Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 186-197, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Joachim Niehren, Mateu Villaret |
Describing Lambda Terms in Context Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LACL ![In: Logical Aspects of Computational Linguistics, 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings, pp. 221-237, 2005, Springer, 3-540-25783-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
second-order unification, dominance constraints, underspecified semantics, computational linguistics |
51 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Lifting in Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 134-151, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Philippe Preux |
Propagation of Q-values in Tabular TD(lambda). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2002, 13th European Conference on Machine Learning, Helsinki, Finland, August 19-23, 2002, Proceedings, pp. 369-380, 2002, Springer, 3-540-44036-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Alessandro Berarducci, Corrado Böhm |
A Self-Interpreter of Lambda Calculus Having a Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers, pp. 85-99, 1992, Springer, 3-540-56992-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
50 | Reiji Nakajima |
Infinite normal forms for the lambda - calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 62-82, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Corrado Böhm, Mariangiola Dezani-Ciancaglini |
Lambda-terms as total or partial functions on normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 96-121, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Giorgio Ausiello |
On the description of time varying systems in lambda - calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 177-191, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Louis Nolin |
Les modèles informatiques des lambda-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 166-176, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | J. M. E. Hyland |
A survey of some useful partial order relations on terms of the lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 83-95, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Luigia Carlucci Aiello, Mario Aiello |
Programming language semantics in a typed lambda - calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 240-251, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Herbert Egli |
Typed meaning in Scott's lambda - calculus models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 220-239, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Gérard P. Huet |
unification in typed lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 192-212, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | Jan Willem Klop |
On solvability by lambda I - terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lambda-Calculus and Computer Science Theory ![In: Lambda-Calculus and Computer Science Theory, Proceedings of the Symposium Held in Rome, Italy, March 25-27, 1975, pp. 342-345, 1975, Springer, 3-540-07416-3. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
50 | David A. Schmidt |
State-transition machines for lambda-calculus expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 20(3), pp. 319-332, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
SECD-machine, Weak-normal form, Continuations, Lambda calculus, Denotational semantics, Defunctionalization, State transition machine |
50 | Stefan Blom |
An Approximation Based Approach to Infinitary Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings, pp. 221-232, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
infinitary rewriting, lambda calculus |
50 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 27-29 August 2003, Uppsala, Sweden, pp. 195-206, 2003, ACM, 1-58113-705-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
50 | Roberto Bruni, Ugo Montanari |
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 246-265, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
double categories, mobile calculi, higher-order communications, lambda-calculus, pi-calculus, cartesian closed categories |
49 | Giulio Manzonetto, Antonino Salibra |
From lambda-Calculus to Universal Algebra and Back. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings, pp. 479-490, 2008, Springer, 978-3-540-85237-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Church Algebras, Stone Representation Theorem, Lambda Theories, Lambda calculus, Universal Algebra |
49 | Jai Prakash Gupta, Stephen C. Winter, Derek R. Wilson |
CTDNet-A Mechanism for the Concurrent Execution of Lambda Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(11), pp. 1357-1367, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CTDNet, lambda graphs, data-driven reduction machine, applicative functional programs, lambda calculus expressions, binary-tree-structured process graphs, ancestor, master processes, slave processes, distributed eager evaluation scheme, conditional expressions, distributed string reduction, parallel programmingas, graph theory, children, parallel machines, pointers, concurrent execution, neighbors |
47 | Jan Springintveld |
Lower and Upper Bounds for Reductions of Types in Lambda-omega and Lambda-P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 391-405, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
47 | Bart Jacobs 0001 |
Semantics of lambda-I and of other substructure lambda calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings, pp. 195-208, 1993, Springer, 3-540-56517-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
47 | Paolo Coppola 0001, Ugo Dal Lago, Simona Ronchi Della Rocca |
Elementary Affine Logic and the Call-by-Value Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 131-145, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Keqin Feng, Jinquan Luo |
Value Distributions of Exponential Sums From Perfect Nonlinear Functions and Their Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(9), pp. 3035-3041, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Ioannis Kontoyiannis, Peter Harremoës, Oliver Johnson |
Entropy and the law of small numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 51(2), pp. 466-472, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Roberto Di Cosmo, Delia Kesner |
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 35-46, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak |
Logical Relations for Monadic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 553-568, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
semantics, monads, logical relations, typed lambda-calculus |
45 | Iliano Cervesato, Frank Pfenning |
Linear Higher-Order Pre-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 422-433, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
linear higher-order pre-unification, linear lambda calculus, intuitionistic functions, additive unit, additive pairing, proof scorch, linear type theories, sublanguages, logic programming, representation, lambda calculus, logical frameworks, linear functions |
43 | Peter Selinger, Benoît Valiron |
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings, pp. 81-96, 2008, Springer, 978-3-540-78497-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Kazunori Ueda |
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 392-408, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Yo Ohta, Masahito Hasegawa |
A Terminating and Confluent Linear Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 166-180, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | A. Bobyshev, Matt Crawford, Phil DeMar, V. Grigaliunas, M. Grigoriev, Alexander Moibenko, Donald Petravick, Ron Rechenmacher, Harvey B. Newman, Julian J. Bunn, Frank van Lingen, Dan Nae, Sylvain Ravot, Conrad Steenberg, Xun Su, Michael Thomas 0002, Yang Xia |
Lambda Station: On-Demand Flow Based Routing for Data Intensive Grid Applications Over Multitopology Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BROADNETS ![In: 3rd International Conference on Broadband Communications, Networks, and Systems (BROADNETS 2006), 1-5 October 2006, San José, California, USA, 2006, IEEE, 978-1-4244-0425-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
43 | Ryo Yoshinaka |
Higher-Order Matching in the Linear Lambda Calculus in the Absence of Constants Is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 235-249, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Antonio Bucciarelli, Antonino Salibra |
The Sensible Graph Theories of Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 276-285, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Michael Beeson |
Lambda Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 460-474, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
43 | Kazuto Tominaga, Tomoya Suzuki, Kazuhiro Oka |
An Encoding Scheme for Generating lambda-Expressions in Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation - GECCO 2003, Genetic and Evolutionary Computation Conference, Chicago, IL, USA, July 12-16, 2003. Proceedings, Part II, pp. 1814-1815, 2003, Springer, 3-540-40603-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | José Espírito Santo, Luís Pinto 0001 |
Permutative Conversions in Intuitionistic Multiary Sequent Calculi with Cuts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings., pp. 286-300, 2003, Springer, 3-540-40332-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Kenji Hisazumi, Tsuneo Nakanishi, Teruaki Kitasuka, Akira Fukuda |
Design and implementation of the Lambda mu-kernel based operating system for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 178-181, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Thomas Thomsen |
Lambda-Search in Game Trees - with Application to Go. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computers and Games ![In: Computers and Games, Second International Conference, CG 2000, Hamamatsu, Japan, October 26-28, 2000, Revised Papers, pp. 19-38, 2000, Springer, 3-540-43080-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
binary tree search, threat-sequences, null-moves, proof-number search, abstract game-knowledge, Go block tactics |
43 | Adam Fischbach, John Hannan |
Specification and Correctness of Lambda Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAIG ![In: Semantics, Applications, and Implementation of Program Generation, International Workshop SAIG 2000, Montreal, Canada, September 20, 2000, Proceedings, pp. 108-128, 2000, Springer, 3-540-41054-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Ian Mackie |
YALE: Yet Another Lambda Evaluator Based on Interaction Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 117-128, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
43 | Martin Hofmann 0001, Thomas Streicher |
Continuation Models are Universal for Lambda-Mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 387-395, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
43 | Julia L. Lawall, Harry G. Mairson |
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996., pp. 92-101, 1996, ACM, 0-89791-770-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
42 | Pieter Thysebaert, Bruno Volckaert, Marc De Leenheer, Filip De Turck, Bart Dhoedt, Piet Demeester |
Dimensioning and on-line scheduling in Lambda Grids using divisible load concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 42(1), pp. 59-82, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lambda Grids, Optical Transport Networks, Optimization, Divisible Load |
42 | David Walker 0001, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August |
Static typing for a faulty lambda calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, pp. 38-49, 2006, ACM, 1-59593-309-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
transient hardware faults, fault tolerance, type systems, lambda calculus, reliable computing, typed intermediate languages, soft faults |
42 | Carlos Herrero, Javier Oliver 0001 |
Opject-Oriented Specification with the Parallel Multi-Label-Selective lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM '99, Theory and Practice of Informatics, 26th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 27 - December 4, 1999, Proceedings, pp. 395-403, 1999, Springer, 3-540-66694-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Extensions of $lambda$-calculus, Concurrency, Object-Orientation, Process Algebra |
39 | Denis Cousineau 0002, Gilles Dowek |
Embedding Pure Type Systems in the Lambda-Pi-Calculus Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings, pp. 102-117, 2007, Springer, 978-3-540-73227-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Paula Severi, Fer-Jan de Vries |
Continuity and Discontinuity in Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings, pp. 369-385, 2005, Springer, 3-540-25593-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
39 | Ken-etsu Fujita |
A Sound and Complete CPS-Translation for lambda-mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings., pp. 120-134, 2003, Springer, 3-540-40332-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
39 | Peter W. O'Hearn |
Resource Interpretations, Bunched Implications and the alpha lambda-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 258-279, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Ken-etsu Fujita |
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 162-176, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Pietro Di Gianantonio, Gianluca Franco, Furio Honsell |
Game Semantics for Untyped lambda beta eta-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings, pp. 114-128, 1999, Springer, 3-540-65763-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Xiang Li 0003, Norbert Oertel, Andreas Hutter, André Kaup |
Laplace Distribution Based Lagrangian Rate Distortion Optimization for Hybrid Video Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 19(2), pp. 193-205, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Travis Gagie, Marek Karpinski, Yakov Nekrich |
Low-Memory Adaptive Prefix Coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2009 Data Compression Conference (DCC 2009), 16-18 March 2009, Snowbird, UT, USA, pp. 13-22, 2009, IEEE Computer Society, 978-0-7695-3592-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Gabriel Paillard, Vlady Ravelomanana |
Limit Theorems for Degree of Coverage and Lifetime in Large Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2011-2019, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
39 | Vladimir Kolmogorov, Yuri Boykov, Carsten Rother |
Applications of parametric maxflow in computer vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Saeed Mashhadi, Jawad A. Salehi |
Code-Division Multiple-Access Techniques in Optical Fiber Networks - Part III: Optical AND Gate Receiver Structure With Generalized Optical Orthogonal Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 54(7), pp. 1349-1349, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Slawomir Lasota 0001, David Nowak, Yu Zhang |
On Completeness of Logical Relations for Monadic Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers, pp. 223-230, 2006, Springer, 978-3-540-77504-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
39 | Christian S. Collberg |
A Fuzzy Visual Query Language for a Domain-Specific Web Search Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002, Proceedings, pp. 176-190, 2002, Springer, 3-540-43561-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Mark Shields, Erik Meijer 0001 |
Type-indexed rows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2001: The 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, London, UK, January 17-19, 2001, pp. 261-275, 2001, ACM, 1-58113-336-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
XML, SGML |
39 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 102-113, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
39 | Yugen Takegahara |
On Butler's Unimodality Result. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 18(3), pp. 437-439, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 20K01 |
39 | Jan Willem Klop |
Origin Tracking in Term Rewriting (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 1, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3559 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|