Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Chi Tat Chong, Liang Yu |
Recursion Theory - Computational Aspects of Definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
13 | Son Thanh Cao |
On the Efficiency of Query-Subquery Nets with Right/Tail-Recursion Elimination in Evaluating Queries to Horn Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSAMA ![In: Advanced Computational Methods for Knowledge Engineering - Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015, Metz, France, 11-13 May, 2015, pp. 243-254, 2015, Springer, 978-3-319-17995-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Roussanka Loukanova |
Specification of Underspecified Quantifiers via Question-Answering by the Theory of Acyclic Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems 2015 - Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015, pp. 57-69, 2015, Springer, 978-3-319-26153-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Juan L. Reutter, Adrián Soto, Domagoj Vrgoc |
Recursion in SPARQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC (1) ![In: The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I, pp. 19-35, 2015, Springer, 978-3-319-25006-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Brigitte Pientka, Andreas Abel 0001 |
Well-Founded Recursion over Contextual Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 273-287, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Conjugate Hylomorphisms - Or: The Mother of All Structured Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 527-538, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ranald Clouston, Ales Bizjak, Hans Bugge Grathwohl, Lars Birkedal |
Programming and Reasoning with Guarded Recursion for Coinductive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 18th International Conference, FoSSaCS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 407-421, 2015, Springer, 978-3-662-46677-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Ravi Chugh |
IsoLATE: A Type System for Self-recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 257-282, 2015, Springer, 978-3-662-46668-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Pedro B. Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond |
Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 787-811, 2015, Springer, 978-3-662-46668-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Minming Ni, Jianping Pan 0001, Miao Hu, Zhangdui Zhong |
Recursion-Based Analysis for Information Propagation in Vehicular Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: 2015 IEEE Global Communications Conference, GLOBECOM 2015, San Diego, CA, USA, December 6-10, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-5952-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Filip Mazowiecki, Joanna Ochremiak, Adam Witkowski |
Eliminating Recursion from Monadic Datalog Programs on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS (1) ![In: Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, pp. 394-406, 2015, Springer, 978-3-662-48056-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Giulia Pedrielli, Szu Hui Ng |
Kriging-based simulation-optimization: a stochastic recursion perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2015 Winter Simulation Conference, Huntington Beach, CA, USA, December 6-9, 2015, pp. 3834-3845, 2015, IEEE/ACM, 978-1-4673-9741-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir |
On Verifying Hennessy-Milner Logic with Recursion at Runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings, pp. 71-86, 2015, Springer, 978-3-319-23819-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Steven Phillips, William H. Wilson |
Cognitive architecture and second-order systematicity: categorical compositionality and a (co)recursion model of systematic learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015, 2015, cognitivesciencesociety.org, 978-0-9911967-2-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Jun Lai, Emiel Krahmer, Jan Sprenger |
The learnability of Auditory Center-embedded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 37th Annual Meeting of the Cognitive Science Society, CogSci 2015, Pasadena, California, USA, July 22-25, 2015, 2015, cognitivesciencesociety.org, 978-0-9911967-2-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
Structures for structural recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015, pp. 127-139, 2015, ACM, 978-1-4503-3669-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Renée A. McCauley, Brian Hanks, Sue Fitzgerald, Laurie Murphy |
Recursion vs. Iteration: An Empirical Study of Comprehension Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 46th ACM Technical Symposium on Computer Science Education, SIGCSE 2015, Kansas City, MO, USA, March 4-7, 2015, pp. 350-355, 2015, ACM, 978-1-4503-2966-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Matic Horvat, Ann A. Copestake, Bill Byrne |
Hierarchical Statistical Semantic Realization for Minimal Recursion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: Proceedings of the 11th International Conference on Computational Semantics, IWCS 2015, 15-17 April, 2015, Queen Mary University of London, London, UK, pp. 107-117, 2015, The Association for Computer Linguistics, 978-1-941643-33-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Hiroshi Unno 0001, Tachio Terauchi |
Inferring Simple Solutions to Recursion-Free Horn Clauses via Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 149-163, 2015, Springer, 978-3-662-46680-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Thom W. Frühwirth |
A devil's advocate against termination of direct recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, Siena, Italy, July 14-16, 2015, pp. 103-113, 2015, ACM, 978-1-4503-3516-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Jesús Sánchez Cuadrado |
Recursion and Iteration Support in USE Validator with AnATLyzer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OCL@MoDELS ![In: Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015., pp. 73-80, 2015, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Chao Su, Heyan Huang, Shumin Shi, Ping Jian |
Chinese Text Analysis Based on Minimal Recursion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLSW ![In: Chinese Lexical Semantics - 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers, pp. 421-429, 2015, Springer, 978-3-319-27193-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Omar AlZoubi, Davide Fossati, Barbara Di Eugenio, Nick E. Green, Mehrdad Alizadeh, Rachel Harsley |
A Hybrid Model for Teaching Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE ![In: Proceedings of the 16th Annual Conference on Information Technology Education, SIGITE 2015, Chicago, Illinois, USA, September 30 - October 3, 2015, pp. 65-70, 2015, ACM, 978-1-4503-3835-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Stefano Coraluppi, Craig Carthel |
Generalizations to the track-oriented MHT recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 18th International Conference on Information Fusion, FUSION 2015, Washington, DC, USA, July 6-9, 2015, pp. 346-350, 2015, IEEE, 978-0-9824-4386-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Christopher W. Fletcher, Ling Ren 0001, Albert Kwon, Marten van Dijk, Srinivas Devadas |
Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2015, Istanbul, Turkey, March 14-18, 2015, pp. 103-116, 2015, ACM, 978-1-4503-2835-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Naoki Nishida 0001, Germán Vidal |
Conversion to tail recursion in term rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 83(1), pp. 53-63, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Nathanael Leedom Ackerman |
Sheaf Recursion and a Separation Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(3), pp. 882-907, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sato Kentaro |
Relative Predicativity and dependent Recursion in second-order Set Theory and Higher-order Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(3), pp. 712-732, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | C. T. Chong, Wei Li 0050, Yue Yang 0004 |
Nonstandard Models in Recursion Theory and Reverse Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 20(2), pp. 170-200, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Mike Burrell, J. Robin B. Cockett, Brian F. Redmond |
Safe recursion revisited I: Categorical semantics for lower complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 515, pp. 19-45, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kenneth R. Paap, Derek Partridge |
Recursion Isn't Necessary for Human Language Processing: NEAR (Non-iterative Explicit Alternatives Rule) Grammars are Superior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 24(4), pp. 389-414, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Wolfgang Jeltsch |
Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSFP ![In: Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014., pp. 127-142, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Naohi Eguchi |
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.6196, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Thomas Powell 0001 |
Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.0457, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Paulo Oliva, Thomas Powell 0001 |
Bar recursion over finite partial functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.6361, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Ashutosh Gupta 0001, Corneliu Popeea, Andrey Rybalchenko |
Generalised Interpolation by Solving Recursion-Free Horn Clauses ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS ![In: Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014., pp. 31-38, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt 0002 |
Guarding (Co)Recursion in Coalgebraic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.3690, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity (Long Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.3378, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Mingsheng Ying |
Quantum Recursion and Second Quantisation: Basic Ideas and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.4443, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Martín Hötzel Escardó, Paulo Oliva |
Bar Recursion and Products of Selection Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.7046, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | David J. Lobina |
Probing recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Process. ![In: Cogn. Process. 15(4), pp. 435-450, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Natasa Jonoska, Daria Karpenko |
Active Tile Self-assembly, Part 2: Self-Similar Structures and Structural Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 25(2), pp. 165-194, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli, Maurizio Gabbrielli |
Probabilistic Recursion Theory and Implicit Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Ann. Comput. Sci. ![In: Sci. Ann. Comput. Sci. 24(2), pp. 177-216, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Kathiravan Srinivasan, Kanakaraj Jaganathan |
Super-resolution Techniques based on Temporal Recursion using Optimal and Real Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Smart Comput. Rev. ![In: Smart Comput. Rev. 4, pp. 1-14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Sérgio Medeiros 0001, Fabio Mascarenhas, Roberto Ierusalimschy |
Left recursion in Parsing Expression Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 96, pp. 177-190, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Francesco Bartolucci, Silvia Pandolfi |
A New Constant Memory Recursion for Hidden Markov Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 21(2), pp. 99-117, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Baltasar Trancón y Widemann, Michael Hauhs |
Algebraic-Coalgebraic Recursion Theory of History-Dependent Dynamical System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 225-244, 2014, Springer, 978-3-662-44123-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elisabeth Lien, Milen Kouylekov |
UIO-Lien: Entailment Recognition using Minimal Recursion Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SemEval@COLING ![In: Proceedings of the 8th International Workshop on Semantic Evaluation, SemEval@COLING 2014, Dublin, Ireland, August 23-24, 2014., pp. 699-703, 2014, The Association for Computer Linguistics, 978-1-941643-24-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Ugo Dal Lago, Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings, pp. 97-114, 2014, Springer, 978-3-319-10881-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Edward M. Reingold |
Four Apt Elementary Examples of Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Language, Culture, Computation (1) ![In: Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I, pp. 213-224, 2014, Springer, 978-3-642-45320-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Elynn Lee, Victoria Shan, Bradley Beth, Calvin Lin |
A structured approach to teaching recursion using cargo-bot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICER ![In: International Computing Education Research Conference, ICER 2014, Glasgow, United Kingdom, August 11-13, 2014, pp. 59-66, 2014, ACM, 978-1-4503-2755-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Colleen M. Lewis |
Exploring variation in students' correct traces of linear recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICER ![In: International Computing Education Research Conference, ICER 2014, Glasgow, United Kingdom, August 11-13, 2014, pp. 67-74, 2014, ACM, 978-1-4503-2755-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Yang Xu 0023, Terry Regier |
Numeral systems across languages support efficient communication: From approximate numerosity to recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Jun Lai, Emiel Krahmer, Jan Sprenger |
Studying Frequency Effects in Learning Center-embedded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CogSci ![In: Proceedings of the 36th Annual Meeting of the Cognitive Science Society, CogSci 2014, Quebec City, Canada, July 23-26, 2014, 2014, cognitivesciencesociety.org, 978-0-9911967-0-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Elisabeth Lien |
Using Minimal Recursion Semantics for Entailment Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: Proceedings of the 14th Conference of the European Chapter of the Association for Computational Linguistics, EACL 2014, April 26-30, 2014, Gothenburg, Sweden, pp. 76-84, 2014, The Association for Computer Linguistics, 978-1-937284-78-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Jinghua Zhang, Mustafa Atay, Emanuel Smith, Elvira R. Caldwell, Elva J. Jones |
Using a game-like module to reinforce student understanding of recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIE ![In: IEEE Frontiers in Education Conference, FIE 2014, Proceedings, Madrid, Spain, October 22-25, 2014, pp. 1-7, 2014, IEEE Computer Society, 978-1-4799-3922-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Grigory Fedyukovich, Natasha Sharygina |
Towards Completeness in Bounded Model Checking Through Automatic Recursion Depth Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Formal Methods: Foundations and Applications - 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29-October 1, 2014. Proceedings, pp. 96-112, 2014, Springer, 978-3-319-15074-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Michael Wirth |
The Canny Skipper - A Puzzle For Demonstrating Data Structures And Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCCE ![In: Proceedings of the 19th Western Canadian Conference on Computing Education, WCCCE '14, Richmond, BC, Canada, May 2-3, 2014, pp. 16:1-16:4, 2014, ACM, 978-1-4503-2899-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Steven J. Ramsay |
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, pp. 175-186, 2014, ACM, 978-1-4503-2947-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida |
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Distributed Objects, Components, and Systems - 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings, pp. 1-16, 2014, Springer, 978-3-662-43612-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Son Thanh Cao, Linh Anh Nguyen |
An Empirical Approach to Query-Subquery Nets with Tail-Recursion Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS (2) ![In: New Trends in Database and Information Systems II - Selected papers of the 18th East European Conference on Advances in Databases and Information Systems and Associated Satellite Events, ADBIS 2014 Ohrid, Macedonia, September 7-10, 2014 Proceedings II, pp. 109-120, 2014, Springer, 978-3-319-10517-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Rasmus Ejlers Møgelberg |
A type theory for productive coprogramming via guarded recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 71:1-71:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Konstantinos Mamouras |
On the Hoare theory of monadic recursion schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL-LICS ![In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014, pp. 69:1-69:10, 2014, ACM, 978-1-4503-2886-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Maciej M. Syslo, Anna Beata Kwiatkowska |
Introducing Students to Recursion: A Multi-facet and Multi-tool Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics in Schools. Teaching and Learning Perspectives - 7th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2014, Istanbul, Turkey, September 22-25, 2014. Proceedings, pp. 124-137, 2014, Springer, 978-3-319-09957-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Daniel Schwencke |
Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
13 | Sara Zuppiroli |
Probabilistic Recursion Theory and Implicit Computational Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
13 | Wei Li 0050 |
Friedberg numbering in fragments of Peano Arithmetic and α-recursion theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(4), pp. 1135-1163, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Colin G. Bailey |
Some jump-like operations in β-recursion theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(1), pp. 57-71, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Debora R. Hammond |
Reflections on recursion and the evolution of learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 42(9/10), pp. 1396-1403, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Arnab K. Shaw, Anindya Sao Paul, Robert Williams |
Eigen-Template-Based HRR-ATR with Multi-Look and Time-Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Aerosp. Electron. Syst. ![In: IEEE Trans. Aerosp. Electron. Syst. 49(4), pp. 2369-2385, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Abdul-Majid Wazwaz |
(2 + 1)-Dimensional Burgers equations BE(m + n + 1): Using the recursion operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(17), pp. 9057-9068, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Qinlong Wang, Wentao Huang, Haitao Wu |
Linear recursion formulas of generalized focus quantities and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 219(10), pp. 5233-5240, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Xia Hong 0001, Richard J. Mitchell 0001, Sheng Chen 0001 |
System identification of Wiener systems with B-spline functions using De Boor recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 44(9), pp. 1666-1674, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | S. S. Marchenkov |
Bounded monotone recursion and multihead automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 39(6), pp. 301-308, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Alexander I. Legalov, Oleg V. Nepomnyaschy, Ivan V. Matkovsky, Mariya S. Kropacheva |
Tail recursion transformation in functional dataflow parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Control. Comput. Sci. ![In: Autom. Control. Comput. Sci. 47(7), pp. 366-372, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Philipp Rümmer, Hossein Hojjat, Viktor Kuncak |
The Relationship between Craig Interpolation and Recursion-Free Horn Clauses ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.4187, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | |
A theory of function-induced-orders to study recursion termination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.1500, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Stefan Milius, Tadeusz Litak |
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013., pp. 72-86, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | David I. Spivak |
The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1305.0297, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Sergio Rajsbaum, Michel Raynal, Panagiota Fatourou |
An Introductory Tutorial to Concurrency-Related Distributed Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 111, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Yujun Yang, Douglas J. Klein |
A recursion formula for resistance distances and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 161(16-17), pp. 2702-2715, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Nathaniel Charlton, Bernhard Reus |
Specification patterns for reasoning about recursion through the store. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 231, pp. 167-203, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Elizabeth M. Niese |
A new recursion for three-column combinatorial Macdonald polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 120(1), pp. 142-158, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Mirjana Mazuran, Edoardo Serra, Carlo Zaniolo |
Extending the power of datalog recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 22(4), pp. 471-493, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Formalizing a Broader Recursion Coverage in SQL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings, pp. 93-108, 2013, Springer, 978-3-642-45283-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gianluca Frison, John Bagterp Jørgensen |
Efficient implementation of the Riccati recursion for solving linear-quadratic control problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Proceedings of the IEEE International Conference on Control Applications, CCA 2013, Hyderabad, India, August 28-30, 2013, pp. 1117-1122, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Gabriel Aranda-López, Susana Nieva, Fernando Sáenz-Pérez, Jaime Sánchez-Hernández |
Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR (short papers) ![In: LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedings, pp. 9-22, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Dominique Devriese, Ilya Sergey, Dave Clarke 0001, Frank Piessens |
Fixing idioms: a recursion primitive for applicative DSLs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, pp. 97-106, 2013, ACM, 978-1-4503-1842-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Peter G. Hancock, Conor McBride, Neil Ghani, Lorenzo Malatesta, Thorsten Altenkirch |
Small Induction Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings, pp. 156-172, 2013, Springer, 978-3-642-38945-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Joe Tessler, Bradley Beth, Calvin Lin |
Using cargo-bot to provide contextualized learning of recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICER ![In: International Computing Education Research Conference, ICER '13, La Jolla, CA, USA, August 12-14, 2013, pp. 161-168, 2013, ACM, 978-1-4503-2243-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Lukasz Czajka 0001 |
Partiality and Recursion in Higher-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, pp. 177-192, 2013, Springer, 978-3-642-37074-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Koichi Fujima, Sohei Ito, Naoki Kobayashi 0001 |
Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 17-32, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Valentin Blot, Colin Riba |
On Bar Recursion and Choice in a Classical Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, pp. 349-364, 2013, Springer, 978-3-319-03541-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Everardo Bárcenas, Jesús Lavalle |
Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI (1) ![In: Advances in Artificial Intelligence and Its Applications - 12th Mexican International Conference on Artificial Intelligence, MICAI 2013, Mexico City, Mexico, November 24-30, 2013, Proceedings, Part I, pp. 80-91, 2013, Springer, 978-3-642-45113-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Luke Ong |
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 13-41, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Cem Bozsahin |
Natural Recursion Doesn't Work That Way: Automata in Planning and Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PT-AI ![In: Fundamental Issues of Artificial Intelligence - 2nd Conference on Philosophy and Theory of Artificial Intelligence, PT-AI 2013, Oxford, UK, September 21-22, 2013, selected and invited papers., pp. 95-112, 2013, Springer, 978-3-319-26483-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Robert Atkey, Conor McBride |
Productive coprogramming with guarded recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 197-208, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Andreas Abel 0001, Brigitte Pientka |
Wellfounded recursion with copatterns: a unified approach to termination and productivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 185-196, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
Unifying structured recursion schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 209-220, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano 0001 |
Structural recursion for querying ordered graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 305-318, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|