|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1762 occurrences of 1211 keywords
|
|
|
Results
Found 5312 publication records. Showing 5312 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
59 | Nir Halman |
Discrete and Lexicographic Helly-Type Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 39(4), pp. 690-719, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Helly theorems, Discrete geometry |
55 | Nir Halman |
On the Power of Discrete and of Lexicographic Helly-Type Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, pp. 463-472, 2004, IEEE Computer Society, 0-7695-2228-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Patricia Johann, Janis Voigtländer |
Free theorems in the presence of seq. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004, pp. 99-110, 2004, ACM, 1-58113-729-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
controlling strict evaluation, short cut fusion, theorems for free, program transformations, Haskell, denotational semantics, parametricity, correctness proofs, logical relations |
45 | Rajiv Bagai, Vasant Shanbhogue, Jan M. Zytkow, Shang-Ching Chou |
Automatic Theorem Generation in Plane Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Methodologies for Intelligent Systems, 7th International Symposium, ISMIS '93, Trondheim, Norway, June 15-18, 1993, Proceedings, pp. 415-424, 1993, Springer, 3-540-56804-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
42 | Till Tantau |
Weak Cardinality Theorems for First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings, pp. 400-411, 2003, Springer, 3-540-40543-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
42 | Christian Glaßer, Stephen D. Travers |
Machines that Can Output Empty Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(3), pp. 369-390, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Leaf languages, Gap theorems, Computational complexity, Polynomial-time hierarchy |
42 | John Case, Samuel E. Moelius |
Program Self-reference in Constructive Scott Subdomains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 89-98, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings |
42 | Volker Sorge, Andreas Meier 0002, Roy L. McCasland, Simon Colton |
Automatic Construction and Verification of Isotopy Invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(2-3), pp. 221-243, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Automated mathematics, Classification theorems, Computer algebra, Automated theorem proving, Model generation, SAT solving, Invariant generation, Isotopy |
40 | Bing Deng, Ran Tao 0003, Yue Wang 0001 |
Convolution theorems for the linear canonical transform and their applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(5), pp. 592-603, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
linear canonical transform, convolution theorems, multiplicative filter, sampling |
40 | Tsuyoshi Murata |
Roles of Diagrammatic Information for the Discovery of Geometrical Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Diagrams ![In: Diagrammatic Representation and Inference, Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings, pp. 235-238, 2004, Springer, 3-540-21268-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Automated scientific discovery, discovery systems, geometrical theorems, diagrammatic reasoning |
40 | Jose C. Ciria, Eladio Domínguez, Angel R. Francés |
Separation Theorems for Simplicity 26-Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DGCI ![In: Discrete Geometry for Computer Imagery, 10th International Conference, DGCI 2002, Bordeaux, France, April 3-5, 2002, Proceedings, pp. 45-56, 2002, Springer, 3-540-43380-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simplicity 26-surface, digital separation theorems, Digital surface |
40 | Vo V. Anh, Ji Yu Shi, Hung-Tat Tsui |
Scaling Theorems for Zero Crossings of Bandlimited Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 18(3), pp. 309-320, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Scaling theorems, signal descriptions, bandlimited signals, Whittaker-Shannon sampling theorem, scale space, multiscale analysis, zero crossings, quadratic forms, Gaussian kernels |
39 | Troy Lee, Adi Shraibman, Robert Spalek |
A Direct Product Theorem for Discrepancy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: Proceedings of the 23rd Annual IEEE Conference on Computational Complexity, CCC 2008, 23-26 June 2008, College Park, Maryland, USA, pp. 71-80, 2008, IEEE Computer Society, 978-0-7695-3169-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
direct sum theorems, factorization norms, communication complexity, discrepancy, direct product theorems |
39 | Hua-Huai Chern, Michael Fuchs 0001, Hsien-Kuei Hwang |
Phase changes in random point quadtrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Algorithms ![In: ACM Trans. Algorithms 3(2), pp. 12, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Asymptotic transfer, analysis in distribution of algorithms, grid trees, local limit theorems, page usage, total path length, quadtrees, differential equations, phase transitions, depth, central limit theorems, Mellin transforms |
38 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Providing a formal linkage between MDG and HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 30(2), pp. 83-116, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Verification system correctness, Hybrid verification systems, Formal hardware verification, Usability verification |
38 | Einar Broch Johnsen, Christoph Lüth |
Theorem Reuse by Proof Term Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, pp. 152-167, 2004, Springer, 3-540-23017-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Troy Lee, Rajat Mittal 0001 |
Product Theorems Via Semidefinite Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (1) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I: Tack A: Algorithms, Automata, Complexity, and Games, pp. 674-685, 2008, Springer, 978-3-540-70574-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Balder ten Cate, Johan van Benthem, Jouko A. Väänänen |
Lindstrom theorems for fragments of first-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 280-292, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao |
Mechanically Proving Geometry Theorems Using a Combination of Wu's Method and Collins' Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 401-415, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | James R. Slagle |
Interpolation Theorems for Resolution in Lower Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(3), pp. 535-542, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
36 | Georg Moser, Richard Zach |
The Epsilon Calculus and Herbrand Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(1), pp. 133-155, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Hilbert's ?-calculus, epsilon theorems, Herbrand's theorem, proof complexity |
33 | Jorge L. Arocha, Imre Bárány, Javier Bracho, Ruy Fabila Monroy, Luis Montejano 0001 |
Very Colorful Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 42(2), pp. 142-154, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Colorful versions, Theorems of Helly, Carathéodory, Kirchberger, Tverberg and Hadwiger, Convex sets |
33 | Amir Reza Razavi, Alexandros Marinos, Sotiris Moschoyiannis, Paul J. Krause |
RESTful Transactions Supported by the Isolation Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Web Engineering, 9th International Conference, ICWE 2009, San Sebastián, Spain, June 24-26, 2009, Proceedings, pp. 394-409, 2009, Springer, 978-3-642-02817-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Isolation Theorems, Transactions, Locking, REST |
33 | Benjamin Rossman |
Homomorphism preservation theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(3), pp. 15:1-15:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
preservation theorems, quantifier-rank, tree-depth, first-order logic, conjunctive queries, homomorphisms, Finite model theory |
33 | Janis Voigtländer |
Proving correctness via free theorems: the case of the destroy/build-rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 13-20, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity |
33 | Andris Ambainis, Robert Spalek, Ronald de Wolf |
A new quantum lower bound method, : with applications to direct product theorems and time-space tradeoffs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 618-633, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
lower bounds, quantum computing, time-space tradeoffs, direct product theorems |
33 | Vinod Sharma |
Some limit theorems for regenerative queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 30(3-4), pp. 341-363, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
regenerative queues, functional limit theorems, continuity, rates of convergence |
33 | Vinod Sharma |
Open queueing networks in discrete time-some limit theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 14(1-2), pp. 159-175, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
nonproduct form networks, stochastic continuity, functional limit theorems, stability, Queueing networks |
33 | Lide Wu, Zhaohui Xie |
Scaling Theorems for Zero-Crossings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 12(1), pp. 46-54, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
scaling theorems, smoothness conditions, pattern recognition, pattern recognition, polynomials, zero-crossings, polynomial functions |
33 | Aravind Srinivasan, Chung-Piaw Teo |
A Constant-Factor Approximation Algorithm for Packet Routing, and Balancing Local vs. Global Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the Twenty-Ninth Annual ACM Symposium on the Theory of Computing, El Paso, Texas, USA, May 4-6, 1997, pp. 636-643, 1997, ACM, 0-89791-888-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
covering integer programs, discrete ham-sandwich theorems, rounding theorems, approximation algorithms, linear programming, randomized algorithms, packet routing, randomized rounding |
33 | Ward Whitt |
A review of L=lambda W and extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 9(3), pp. 235-268, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
L=W, Little's law, time averages and customer averages, sample-path methods, stationary marked point processes, H=G, the inversion formula, Campbell's formula, central limit, indirect estimation, conservation laws, conservation law, rate, limit theorems, level crossings, theorems |
33 | Dimiter Vakarelov |
Modal Logics for Knowledge Representation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic at Botik ![In: Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings, pp. 257-277, 1989, Springer, 3-540-51237-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
knowledge representation systems, logics for knowledge representation, completeness theorems, filtration theorems, modal logics |
33 | James R. Driscoll, Dennis M. Healy Jr. |
Asymptotically Fast Algorithms for Spherical and Related Transforms ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October - 1 November 1989, pp. 344-349, 1989, IEEE Computer Society, 0-8186-1982-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
sampling theorems, spherical transform, convolution theorems, convolution |
32 | Norihiro Kamide |
Proof Systems Combining Classical and Paraconsistent Negations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 91(2), pp. 217-238, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Paraconsistent negation, completeness, sequent calculus, cut-elimination |
32 | Joseph P. Near, William E. Byrd, Daniel P. Friedman |
alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 238-252, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Immanuel Normann |
Enhanced Theorem Reuse by Partial Theory Inclusions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, pp. 40-52, 2006, Springer, 3-540-39728-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Kamal Aboul-Hosn, Terese Andersen |
A Proof-Theoretic Approach to Hierarchical Math Library Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MKM ![In: Mathematical Knowledge Management, 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers, pp. 1-16, 2005, Springer, 3-540-31430-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Peter Grünwald |
Strong Entropy Concentration, Game Theory, and Algorithmic Randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT/EuroCOLT ![In: Computational Learning Theory, 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings, pp. 320-336, 2001, Springer, 3-540-42343-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Marc J. Lipman, Robert L. Sedlmeyer |
Knowledge and reasoning in graph theory research (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 415, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
30 | Ralf Küsters, Max Tuengerthal |
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: Proceedings of the 21st IEEE Computer Security Foundations Symposium, CSF 2008, Pittsburgh, Pennsylvania, USA, 23-25 June 2008, pp. 270-284, 2008, IEEE Computer Society, 978-0-7695-3182-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
simulation-based security, joint state, secure composition, cryptographic protocols |
30 | Wu-Hua Chen, Wei Xing Zheng 0001 |
Razumikhin-type theorems for ISS of nonlinear delayed impulsive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 3463-3468, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Martin Grohe |
Algorithmic Meta Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 34th International Workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers, pp. 30, 2008, 978-3-540-92247-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Gilles Brassard, André Allan Méthot |
Strict Hierarchy of Bell Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICQNM ![In: Second International Conference on Quantum, Nano, and Micro Technologies, ICQNM 2008, February 10-15, 2008, Sainte Luce, Martinique, French Caribbean, pp. 98-103, 2008, IEEE Computer Society, 978-0-7695-3085-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bell theorem, Bell theorem without inequalities, Pseudo-telepathy, Entanglement |
30 | Amjad Gawanmeh, Sofiène Tahar |
Rank Theorems for Forward Secrecy in Group Key Management Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops (1) ![In: 21st International Conference on Advanced Information Networking and Applications (AINA 2007), Workshops Proceedings, Volume 1, May 21-23, 2007, Niagara Falls, Canada, pp. 18-23, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Gunther Schmidt 0001 |
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 328-342, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
homomorphism theorem, isomorphism theorem, multi-covering, relation algebra, congruence |
30 | Daniel Liberzon, Dragan Nesic |
Stability Analysis of Hybrid Systems Via Small-Gain Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006, Proceedings, pp. 421-435, 2006, Springer, 3-540-33170-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Johnson I. Agbinya |
QoS Functions and Theorems for Moving Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICITA (2) ![In: Third International Conference on Information Technology and Applications (ICITA 2005), 4-7 July 2005, Sydney, Australia, pp. 208-213, 2005, IEEE Computer Society, 0-7695-2316-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Takahito Aoto 0001, Toshiyuki Yamada, Yoshihito Toyama |
Inductive Theorems for Higher-Order Rewriting. ![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. 269-284, 2004, Springer, 3-540-22153-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Dongming Wang 0001 |
GEOTHER 1.1: Handling and Proving Geometric Theorems Automatically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers, pp. 194-215, 2002, Springer, 3-540-20927-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | M. Enamul Amyeen, Irith Pomeranz, W. Kent Fuchs |
Theorems for Efficient Identification of Indistinguishable Fault Pairs in Synchronous Sequential Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 20th IEEE VLSI Test Symposium (VTS 2002), Without Testing It's a Gamble, 28 April - 2 May 2002, Monterey, CA, USA, pp. 181-186, 2002, IEEE Computer Society, 0-7695-1570-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Shih-Chieh Chang, Zhong-Zhen Wu |
Theorems and extensions of single wire replacement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(9), pp. 1159-1164, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Jens Knoop |
From DFA-Frameworks to DFA-Generators: A Unifying Multiparadigm Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 5th International Conference, TACAS '99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings, pp. 360-374, 1999, Springer, 3-540-65703-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis (DFA), DFA-frameworks, DFA-generators, coincidence theorems, intraprocedural, conditional DFA, parallel, object-oriented, abstract interpretation, Program optimization, interprocedural |
27 | Franco Giannessi |
Theorems of the Alternative and Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3895-3902, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Theorem of the alternative, Transposition theorem, Lagrange function, Dual problem, Lagrange multipliers, Image space, Separation theorems, Dual space |
27 | David Duris |
Hypergraph Acyclicity and Extension Preservation Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 418-427, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hypergraph acyclicity, preservation theorems, logic, finite model theory |
27 | Julien Demouth, Olivier Devillers, Marc Glisse, Xavier Goaoc |
Helly-type theorems for approximate covering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9-11, 2008, pp. 120-128, 2008, ACM, 978-1-60558-071-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
3d visibility, approximate covering, helly-type theorems, lp-type problems |
27 | Peerapol Tinnakornsrisuphap, Armand M. Makowski |
On the behavior of ECN/RED gateways under a large number of TCP flows: Limit theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 52(4), pp. 287-304, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CLT correction, RED AQM mechanism, TCP congestion-control, Limit theorems |
25 | Ruben A. Gamboa |
A Formalization of Powerlist Algebra in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(2), pp. 139-172, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Powerlists, Verification, ACL2 |
25 | Ashok Patel, Bart Kosko |
Stochastic Resonance in Continuous and Spiking Neuron Models With Levy Noise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(12), pp. 1993-2008, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Xiangyi Meng, Ran Tao 0003, Yue Wang 0001 |
Fractional Fourier domain analysis of decimation and interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(4), pp. 521-538, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
sampling rate conversion, the digital frequency in the fractional Fourier domain, interpolation, decimation, fractional Fourier transform |
25 | Christian Glaßer, Stephen D. Travers |
Machines that Can Output Empty Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2006, 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings, pp. 436-446, 2006, Springer, 3-540-37791-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | E. A. Grebenicov, Dorota Kozak-Skoworodkin, M. Jakubiak |
Investigation of the Stability Problem for the Critical Cases of the Newtonian Many-Body Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings, pp. 236-243, 2005, Springer, 3-540-28966-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Simon Colton |
The HR Program for Theorem Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 285-289, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Jean-Raymond Abrial, Dominique Cansell, Guy Laffitte |
"Higher-Order" Mathematics in B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2002: Formal Specification and Development in Z and B, 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002, Proceedings, pp. 370-393, 2002, Springer, 3-540-43166-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford |
Formally Linking MDG and HOL Based on a Verified MDG System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, pp. 205-224, 2002, Springer, 3-540-43703-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
hybrid verification systems, deductive theorem proving, symbolic state enumeration, usability verification, hardware verification |
25 | Leonid Libkin |
Logics capturing local properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 2(1), pp. 135-153, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
locality, logic, counting |
25 | Leonid Libkin |
Logics Capturing Local Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2000, 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 2000, Proceedings, pp. 217-229, 2000, Springer, 3-540-67141-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Larry M. Hines |
Str+ve and Integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-12, 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994, Proceedings, pp. 416-430, 1994, Springer, 3-540-58156-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Scott F. Smith 0001 |
From Operational to Denotational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings, pp. 54-76, 1991, Springer, 3-540-55511-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
25 | Yi Lu, Ramesh C. Jain |
Behavior of Edges in Scale Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(4), pp. 337-356, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
edge behaviour, edge recovery, Laplacian or Gaussian operator, corollaries, artificial intelligence, picture processing, computerised picture processing, computerised pattern recognition, computerised pattern recognition, reasoning, scale space, assertions, complex images |
23 | G. Casinovi |
Sampling and Ergodic Theorems for Weakly Almost Periodic Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 55(4), pp. 1883-1897, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Janis Voigtländer |
Free theorems involving type constructor classes: functional pearl. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009, pp. 173-184, 2009, ACM, 978-1-60558-332-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
relational parametricity |
23 | Gianni Bosi, Gerhard Herden |
Continuous Utility Representation Theorems in Arbitrary Concrete Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 16(5), pp. 629-651, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 18AXX, 06A05, 54F05, 91B16 |
23 | Vyacheslav M. Abramov |
Continuity theorems for the M / M /1/ n queueing system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 59(1), pp. 63-86, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 60K25, 60B05, 62E17, 60E15 |
23 | Hiroki Koga |
Coding Theorems on the Threshold Scheme for a General Source. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(6), pp. 2658-2677, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Lai-Jiu Lin 0001, Song Yu Wang, Chih-Sheng Chuang |
Existence theorems of systems of variational inclusion problems with applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 751-764, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Upper semicontinuous (lower semicontinuous) multivalued map, Systems of variational inclusions problem, Bilevel problem, Ideal minimal point, Efficient point |
23 | Lai-Jiu Lin 0001, Wei-Shih Du |
Systems of equilibrium problems with applications to new variants of Ekeland's variational principle, fixed point theorems and parametric optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 40(4), pp. 663-677, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-function, Quasi-distance, Ekeland’s variational principle, Flower petal theorem, Maximal element theorem, Minimax theorem, Minimization theorem, Semi-infinite problem, Generalized Schauder’s fixed point theorem, Equilibrium problem |
23 | Stephan Kreutzer |
Algorithmic Meta-theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings, pp. 10-12, 2008, Springer, 978-3-540-79722-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Spyros Galanis |
Theorems and unawareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25-27, 2007, pp. 145-154, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | G. Efthivoulidis |
Linear switched-capacitor circuit theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Björn Vormbrock, Rudolf Wille |
Semiconcept and Protoconcept Algebras: The Basic Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Concept Analysis ![In: Formal Concept Analysis, Foundations and Applications, pp. 34-48, 2005, Springer, 3-540-27891-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Kazuo Murota, Akihisa Tamura |
Proximity theorems of discrete convex functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 99(3), pp. 539-562, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
discrete convex analysis, proximity properties, optimality criteria |
23 | XueFeng Chen, Peng Li, Long Lin, DingKang Wang |
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automated Deduction in Geometry ![In: Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers, pp. 34-43, 2004, Springer, 3-540-31332-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Michael Toftdal |
A Calibration of Ineffective Theorems of Analysis in a Hierarchy of Semi-classical Logical Principles: (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, pp. 1188-1200, 2004, Springer, 3-540-22849-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Simon Colton, Andreas Meier 0002, Volker Sorge, Roy L. McCasland |
Automatic Generation of Classification Theorems for Finite Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, pp. 400-414, 2004, Springer, 3-540-22345-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ren-Cang Li, Sylvie Boldo, Marc Daumas |
Theorems on Efficient Argument Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Computer Arithmetic ![In: 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain, pp. 129-136, 2003, IEEE Computer Society, 0-7695-1894-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Eyal Amir |
Interpolation Theorems for Nonmonotonic Reasoning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings, pp. 233-244, 2002, Springer, 3-540-44190-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Salvador Roura |
Improved master theorems for divide-and-conquer recurrences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(2), pp. 170-205, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
master theorem, divide-and-conquer, asymptotic analysis |
23 | Vladimir M. Chernov |
Diophantine Approximations of Algebraic Irrationalities and Stability Theorems for Polynomial Decision Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001, Proceedings, pp. 177-182, 2001, Springer, 3-540-42513-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
decision rules, Diophantine approximations |
23 | Péter L. Erdös, Ákos Seress, László A. Székely |
Erdös-Ko-Rado and Hilton-Milner Type Theorems for Intersecting Chains in Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 20(1), pp. 27-45, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
AMS Subject Classification (1991) Classes: 05D05, 06A06 |
23 | David A. McAllester |
Meta-complexity Theorems: Talk Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, pp. 13-17, 2000, Springer, 3-540-41053-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Zhiqing Shao, Yongqiang Sun, Guoxin Song, Huiqun Yu |
Proving Inductive Theorems Using Witnessed Test Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Second IEEE International Conference on Formal Engineering Methods, ICFEM 1998, Brisbane, Queensland, Australia, December 9-11, 1998, Proceedings, pp. 158-164, 1998, IEEE Computer Society, 0-8186-9198-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Stéphane Fèvre, Dongming Wang 0001 |
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 17-31, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
23 | Vishwani D. Agrawal, Srimat T. Chakradhar |
Combinational ATPG theorems for identifying untestable faults in sequential circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(9), pp. 1155-1160, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
23 | Lance Fortnow |
My Favorite Ten Complexity Theorems of the Past Decade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 256-275, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
23 | David Lorge Parnas |
Some Theorems We Should Prove. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 155-162, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | John M. Rushby, Mandayam K. Srivas |
Using PVS to Prove Some Theorems Of David Parnas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 163-173, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Nina Amenta |
Helly Theorems and Generalized Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Ninth Annual Symposium on Computational GeometrySan Diego, CA, USA, May 19-21, 1993, pp. 63-72, 1993, ACM, 0-89791-582-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Geoffrey D. Alexander, David A. Plaisted |
Proving Equality Theorems with Hyper-Linking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 706-710, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
23 | Jürgen Avenhaus |
Proving Equational and Inductive Theorems by Completion and Embedding Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 361-373, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Janis Voigtländer |
Bidirectionalization for free! (Pearl). ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 165-176, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bidirectionalization, free theorems, program transformation, haskell, generic programming, relational parametricity, view-update problem |
Displaying result #1 - #100 of 5312 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|