The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Recursion with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1957-1965 (16) 1966-1971 (15) 1972-1973 (18) 1974-1975 (16) 1976-1977 (30) 1978-1979 (30) 1980-1981 (24) 1982 (16) 1983 (17) 1984 (16) 1985 (20) 1986 (37) 1987 (38) 1988 (40) 1989 (47) 1990 (41) 1991 (39) 1992 (66) 1993 (57) 1994 (41) 1995 (57) 1996 (44) 1997 (44) 1998 (52) 1999 (84) 2000 (83) 2001 (67) 2002 (60) 2003 (77) 2004 (104) 2005 (117) 2006 (119) 2007 (112) 2008 (123) 2009 (102) 2010 (64) 2011 (41) 2012 (34) 2013 (40) 2014 (42) 2015 (55) 2016 (51) 2017 (53) 2018 (49) 2019 (35) 2020 (44) 2021 (43) 2022 (37) 2023 (46) 2024 (14)
Publication types (Num. hits)
article(988) book(7) incollection(19) inproceedings(1479) phdthesis(21) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(125) J. Symb. Log.(54) POPL(43) SIGCSE(40) CSL(36) Theor. Comput. Sci.(36) ICFP(33) ICALP(32) ITiCSE(32) LICS(31) Ann. Pure Appl. Log.(28) ACM Trans. Program. Lang. Syst...(27) Arch. Math. Log.(26) J. ACM(25) MFCS(24) ACM SIGCSE Bull.(23) More (+10 of total 812)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1424 occurrences of 808 keywords

Results
Found 2517 publication records. Showing 2517 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
113Manuel Rubio-Sánchez, Jaime Urquiza-Fuentes, Cristóbal Pareja-Flores A gentle introduction to mutual recursion. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF recursion problems, combinatorics, counting problems, fibonacci numbers, mutual recursion
100Naoki Kobayashi 0001 Types and Recursion Schemes for Higher-Order Program Verification. Search on Bibsonomy APLAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
98Tamarisk Lurlyn Scholtz, Ian D. Sanders Mental models of recursion: investigating students' understanding of recursion. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF recursion, mental models
92Ian Douglas Sanders, Vashti C. Galpin Students' mental models of recursion at wits. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion, mental models
91J. Ángel Velázquez-Iturbide Recursion in gradual steps (is recursion really that difficult?). Search on Bibsonomy SIGCSE The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
85Greg Stitt, Jason R. Villarreal Recursion flattening. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, fpga, compilers, synthesis, recursion
78David Ginat, Eyal Shifroni Teaching recursion in a procedural environment -- how much should we emphasize the computing model? Search on Bibsonomy SIGCSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF recursive formulation, problem decomposition
78Yannis E. Ioannidis, Eugene Wong 0001 Towards an Algebraic Theory of Recursion. Search on Bibsonomy J. ACM The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
78Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre Collapsible Pushdown Automata and Recursion Schemes. Search on Bibsonomy LICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Higher-order pushdown automata, game semantics, higher-order recursion schemes
78Tina Götschi, Ian D. Sanders, Vashti Galpin Mental models of recursion. Search on Bibsonomy SIGCSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF learning, programming, pedagogy, recursion, mental models, constructivism
78Peter Buneman, Mary F. Fernandez, Dan Suciu UnQL: A Query Language and Algebra for Semistructured Data Based on Structural Recursion. Search on Bibsonomy VLDB J. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Structural recursion, Optimization, XML, Query language, Semistructured data, XSL
76Yongping Gao, Fenfen Guan Explore a New Way to Convert a Recursion Algorithm into a Non-recursion Algorithm. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF sequence storage, bit link tree, non-recursion, recursion, queue
71Michael H. Goldwasser, David Letscher Teaching strategies for reinforcing structural recursion with lists. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF active learning, recursion, role-playing, lists
71Owen Kaser, C. R. Ramakrishnan 0001, Shaunak Pawagi On the Conversion of Indirect to Direct Recursion. Search on Bibsonomy LOPLAS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF inline substitution, procedure inlining, theory, call graphs, mutual recursion
70Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren Structural Recursion as a Query Language on Lists and Ordered Trees. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Structural recursion, XML, Database, Complex objects, Primitive recursion
64E. A. Cichon, Hélène Touzet An Ordinal Calculus for Proving Termination in Term Rewriting. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF ordinal recursion, termination, rewrite systems, primitive recursion
64Manuel Rubio-Sánchez Tail recursive programming by applying generalization. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF nested recursion, formal methods, generalization, recursion, design of algorithms, tail recursion
64John Case, Samuel E. Moelius Independence Results for n-Ary Recursion Theorems. Search on Bibsonomy FCT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
63Stephen A. Edwards, Jia Zeng Static elaboration of recursion for concurrent software. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SHIM, static elaboration, concurrency, recursion, partial evaluation
63David Ginat Do senior CS students capitalize on recursion? Search on Bibsonomy ITiCSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF student errors, ways of reasoning, pedagogy, recursion
63Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn Linear Ramified Higher Type Recursion and Parallel Complexity. Search on Bibsonomy Proof Theory in Computer Science The full citation details ... 2001 DBLP  DOI  BibTeX  RDF higher types, parallel computation, recursion, linear logic, lambda calculus, implicit computational complexity, NC
63Manuel Rubio-Sánchez, Isidoro Hernán-Losada Exploring recursion with fibonacci numbers. Search on Bibsonomy ITiCSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF recursion problems, combinatorics, fibonacci numbers, mutual recursion
63Bruria Haberman, Haim Averbuch The case of base cases: why are they so difficult to recognize? student difficulties with recursion. Search on Bibsonomy ITiCSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF base case, recursion evaluation, recursion formulation
63Manuel Rubio-Sánchez, J. Ángel Velázquez-Iturbide Tail recursion by using function generalization. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF nested recursion, generalization, recursion, design of algorithms, tail recursion
57Philippe Beaucamps Extended recursion-based formalization of virus mutation. Search on Bibsonomy J. Comput. Virol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
57Stefaan Himpe, Francky Catthoor, Geert Deconinck Control Flow Analysis for Recursion Removal. Search on Bibsonomy SCOPES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
56Meisam Fathi Salmi, Saeed Parsa Automatic Detection of Infinite Recursion in AspectJ Programs. Search on Bibsonomy FGIT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Infinite Recursion, Interprocedural Anlysis, Debugging Aspect-Oriented Programs, Aspect-Oriented Programming
56Derek Dreyer A type system for well-founded recursion. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF yype systems, recursion, effect systems, recursive modules
55Neil W. Rickert Recursion vs. non-Recursion in Pascal; a rejoinder. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF Pascal
50Manuel Lameiras Campagnolo The Complexity of Real Recursive Functions. Search on Bibsonomy UMC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Continuous-time computation, computational complexity, differential equations, recursion theory
49Naoki Kobayashi 0001, C.-H. Luke Ong A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
49Guillaume Bonfante, Reinhard Kahle, Jean-Yves Marion, Isabel Oitavem Recursion Schemata for NCk. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Raja Sooriamurthi Problems in comprehending recursion and suggested solutions. Search on Bibsonomy ITiCSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
49Radu Rugina, Martin C. Rinard Recursion Unrolling for Divide and Conquer Programs. Search on Bibsonomy LCPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
49William D. Clinger Proper Tail Recursion and Space Efficiency. Search on Bibsonomy PLDI The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SCHEME
49Sowmitri Swamy, John E. Savage Space-Time Tradeoffs for Linear Recursion. Search on Bibsonomy POPL The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
49Marian Boykan Pour-El Computer Science And Recursion Theory. Search on Bibsonomy ACM Annual Conference (1) The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
49Naoki Kobayashi 0001, Naoshi Tabuchi, Hiroshi Unno 0001 Higher-order multi-parameter tree transducers and recursion schemes for program verification. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme
49Christopher H. Broadbent, C.-H. Luke Ong On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme
49Ben Stephenson Visual examples of recursion. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF graphical projects, computer science education, pedagogy, recursion, recursive algorithms, student engagement
49Jirí Adámek, Stefan Milius, Jirí Velebil Semantics of Higher-Order Recursion Schemes. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
49Ian D. Sanders, Vashti Galpin, Tina Götschi Mental models of recursion revisited. Search on Bibsonomy ITiCSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, mental models
49Christian Urban, Stefan Berghofer A Recursion Combinator for Nominal Datatypes Implemented in Isabelle/HOL. Search on Bibsonomy IJCAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Lambda-calculus, proof assistants, nominal logic, primitive recursion
49Kim B. Bruce, Andrea Pohoreckyj Danyluk, Thomas P. Murtagh Why structural recursion should be taught before arrays in CS 1. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CS1, recursion
49S. J. Ambler, Roy L. Crole, Alberto Momigliano A definitional approach to primitivexs recursion over higher order abstract syntax. Search on Bibsonomy MERLIN The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Isabelle HOL, topos theory, ?-calculus, higher order abstract syntax, primitive recursion, initial algebras
47Howard A. Blair, V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel (eds.) Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, Washington, DC, USA, November 13, 1992 Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Andrei Voronkov On Computability by Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Audrey Ferry A Topological Characterization of the Stable and Minimal Model Classes of Propositional Logical Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Thomas Eiter, Georg Gottlob Complexity Results for Logic-Based Abduction. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Yael Moscowitz, Ehud Shapiro On the Structural Simplicity of Machines and Languages. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Jürgen Dix, Martin Müller 0001 Abstract Properties and Computational Complexity of Semantics for Disjunctive Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier Halting Problem of One Binary Horn Clause id Undecidable. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Rule Systems and Well-Orderings. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47Inderpal Singh Mumick, Oded Shmueli Aggregation, Computability, and Complete Query Languages. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski Complexity of Computing with Extended Propositional Logic Programs. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
47John S. Schlipf A Survey of Complexity and Undecidability Results in Logic Programming. Search on Bibsonomy Structural Complexity and Recursion-theoretic methods in Logic-Programming The full citation details ... 1992 DBLP  BibTeX  RDF
43Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
43Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni Bayesian Filtering With Random Finite Set Observations. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Ba-Tuong Vo, Ba-Ngu Vo, Antonio Cantoni Analytic Implementations of the Cardinalized Probability Hypothesis Density Filter. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Adrian Johnstone, Elizabeth Scott Generalised Regular Parsers. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
43Bjarne Stig Andersen, Fred G. Gustavson, Alexander Karaivanov, Minka Marinova, Jerzy Wasniewski, Plamen Y. Yalamov LAWRA: Linear Algebra with Recursive Algorithms. Search on Bibsonomy PARA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Marta Franová Automated Inductive Reasoning as a Support of Deductive Reasoning in a User-Independent Automation of Inductive Theorem Proving. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
43Edward H. Bensley, Thomas J. Brando, J. C. Fohlin, Myra Jean Prelle, Ann Wollrath MITRE's future generation computer architectures program. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
43Andrew M. Pitts Nominal system T. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF alpha-equivalence, types, recursion, binders
43Naoki Kobayashi 0001 Model-checking higher-order functions. Search on Bibsonomy PPDP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, program verification, higher-order functions, recursion schemes
43John Case, Samuel E. Moelius Program Self-reference in Constructive Scott Subdomains. Search on Bibsonomy CiE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Scott domains, self-reproducing programs, self-reference, recursion theorems, numberings
43Anton Setzer Partial Recursive Functions in Martin-Löf Type Theory. Search on Bibsonomy CiE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Martin-Löf type theory, Kleene index, Kleene brackets, partial recursive functions, inductive-recursive definitions, indexed induction-recursion, computability theory, recursion theory
42Edward L. Robertson, Lawrence V. Saxton, Dirk Van Gucht, Stijn Vansummeren Structural Recursion on Ordered Trees and List-Based Complex Objects. Search on Bibsonomy ICDT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
42Jevgeni Kabanov, Varmo Vene Recursion Schemes for Dynamic Programming. Search on Bibsonomy MPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Martin J. Fischer, Denise M. Bevilacqua Masi Analyzing internet packet traces using Lindley's Recursion. Search on Bibsonomy WSC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Wolfram T. Arnold, Roger Haydock A Parallel, Object-Oriented Implementation of the Dynamic Recursion Method. Search on Bibsonomy ISCOPE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
42Bruce S. Elenbogen, Martha R. O'Kennon Teaching recursion using fractals in Prolog. Search on Bibsonomy SIGCSE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Prolog
42Jean H. Gallier Recursion Schemes and Generalized Interpretations (Extended Abstract). Search on Bibsonomy ICALP The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
42Claudio Mirolo Learning (through) recursion: a multidimensional analysis of the competences achieved by CS1 students. Search on Bibsonomy ITiCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF recursion, mental models, programming learning
42Ugo Dal Lago The geometry of linear higher-order recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF higher-order recursion, type systems, lambda calculus, implicit computational complexity, Geometry of interaction
42J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes Interactive visualization of recursion with SRec. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF human-computer interaction, recursion, program visualization, algorithm animation
42Alessandro Warth, James R. Douglass, Todd D. Millstein Packrat parsers can support left recursion. Search on Bibsonomy PEPM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF left recursion, packrat parsing
42J. Ángel Velázquez-Iturbide, Antonio Pérez-Carrasco, Jaime Urquiza-Fuentes SRec: an animation system of recursion for algorithm courses. Search on Bibsonomy ITiCSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF activation trees, usability, recursion, program animation
42Johan Nordlander, Magnus Carlsson, Andy Gill Unrestricted pure call-by-value recursion. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF value recursion, semantics, implementation, combinator libraries, call-by-value
42Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion A Classification of Viruses Through Recursion Theorems. Search on Bibsonomy CiE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF iteration theorem, polymorphism, propagation, Computer viruses, recursion theorem
42Andrew M. Pitts Alpha-structural recursion and induction. Search on Bibsonomy J. ACM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF recursion, induction, names, Abstract syntax, binders
42Jordan Zashev Diagonal fixed points in algebraic recursion theory. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Algebraic recursion theory-Combinatory logic
42David von Oheimb Hoare Logic for Mutual Recursion and Local Variables. Search on Bibsonomy FSTTCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF axiomaticsemantics, relative completeness, local variables, call-by-value parameters, soundness, Hoare logic, Isabelle/HOL, mutual recursion
42Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Implementation of functional programming, weak reduction, space leaks, recursion, sharing, lambda calculus, explicit substitution
42Marcello M. Bonsangue, Joost N. Kok Semantics, Orderings and Recursion in the Weakest Precondition Calculus. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF fixed point transformations, Smyth powerdomain, Egli-Milner powerdomain, refinement, deadlock, recursion, fixed points, backtracking, weakest preconditions, predicate transformers
40Jishnu Ray Chowdhury, Cornelia Caragea Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
40Jishnu Ray Chowdhury, Cornelia Caragea Recursion in Recursion: Two-Level Nested Recursion for Length Generalization with Scalability. Search on Bibsonomy NeurIPS The full citation details ... 2023 DBLP  BibTeX  RDF
40Kenneth C. Louden Recursion versus non-recursion in Pascal: recursion can be faster. Search on Bibsonomy ACM SIGPLAN Notices The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
36Alberto Pardo Combining Datatypes and Effects. Search on Bibsonomy Advanced Functional Programming The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
36James L. Caldwell Extracting General Recursive Program Schemes in Nuprl's Type Theory. Search on Bibsonomy LOPSTR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
36Isak Jonsson, Bo Kågström RECSY - A High Performance Library for Sylvester-Type Matrix Equations. Search on Bibsonomy Euro-Par The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Sylvester-type matrix equations, RECSY, recursion, superscalar, LAPACK, level 3 BLAS, GEMM-based, SLICOT, automatic blocking
36Ching-Long Su, Yin-Tsung Hwang Distributed arithmetic-based architectures for high speed IIR filter design. Search on Bibsonomy ICPADS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF high speed IIR filter, pipelining techniques, SPDM technology, parallel processing, parallel architectures, digital arithmetic, recursion, recursive filters, Distributed Arithmetic, IIR filters, DSP applications
35Toshiyasu Arai, Naohi Eguchi A new function algebra of EXPTIME functions by safe nested recursion. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF EXPTIME, Implicit computational complexity
35Horacio A. B. F. de Oliveira, Azzedine Boukerche, Eduardo Freire Nakamura, Antonio Alfredo Ferreira Loureiro An Efficient Directed Localization Recursion Protocol for Wireless Sensor Networks. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Spyridon Ninos, Apostolos Dollas Modeling recursion data structures for FPGA-based implementation. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Zhongfeng Wang 0001 High-Speed Recursion Architectures for MAP-Based Turbo Decoders. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35William L. Harrison A Simple Semantics for Polymorphic Recursion. Search on Bibsonomy APLAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro Comparing Recursion, Replication, and Iteration in Process Calculi. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Mike Reed Order, Topology, and Recursion Induction in CSP. Search on Bibsonomy 25 Years Communicating Sequential Processes The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Jan-Georg Smaus The Head Condition and Polymorphic Recursion. Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 2517 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license