„CONSTRUCTORS“

Suchergebnisse

1.000+ Treffer

• Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2015 Universitätsbibliothek Johann Christian Senckenberg
• FUNDIO: a lambda-calculus with letrec, case, constructors, and an IO-interface – approaching a theory of unsafePerformIO
  Schmidt-Schauß, Manfred 2003 Univ.-Bibliothek Frankfurt am Main
• Correctness of copy in calculi with letrec, case and constructors
  Schmidt-Schauß, Manfred 2007 Univ.-Bibliothek Frankfurt am Main
• Correctness of copy in calculi with letrec, case, constructors and por
  Schmidt-Schauß, Manfred 2007 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2008 Univ.-Bibliothek Frankfurt am Main
• A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case
  Schmidt-Schauß, Manfred ; Machkasova, Elena 2009 Univ.-Bibliothek Frankfurt am Main
• Computing overlappings by unification in the deterministic lambda calculus LR with letrec, case, constructors, seq and variable chains
  Rau, Conrad ; Schmidt-Schauß, Manfred 2011 Univ.-Bibliothek Frankfurt am Main
• A termination proof of reduction in a simply typed calculus with constructors
  Schmidt-Schauß, Manfred ; Sabel, David 2011 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2012 Univ.-Bibliothek Frankfurt am Main
• Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq
  Schmidt-Schauß, Manfred ; Sabel, David ; Machkasova, Elena 2013 Univ.-Bibliothek Frankfurt am Main
• Biotic controls on the waxing and waning of reefs and their constructors
  Raja Schoob, Nussaibah B. ; Kiessling, Wolfgang ; Zuschin, Martin 2023 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Relating Innermost, Weak, Uniform and Modular Termination of Term Rewriting Systems
  Gramlich, Bernhard 2024 Saarländische Universitäts- und Landesbibliothek
• Automated reasoning in extensions of theories of constructors with recursively defined functions and homomorphisms
  Sofronie-Stokkermans, Viorica
• New Clocks, Optimal Line Formation and Self-Replication Population Protocols
  Gąsieniec, Leszek ; Spirakis, Paul G. ; Stachowiak, Grzegorz 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: New Clocks, Fast Line Formation and Self-Replication Population Protocols
  Gąsieniec, Leszek ; Spirakis, Paul G. ; Stachowiak, Grzegorz 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functions-as-Constructors Higher-Order Unification
  Libal, Tomer ; Miller, Dale 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Sustainable Futures for Higher Education – The Making of Knowledge Makers
  Valsiner, Jaan ; Lutsenko, Anastasia ; Alexandra, Antoniouk 2018 Springer International Publishing
• Building Information Modeling – A Strategic Implementation Guide for Architects, Engineers, Constructors, and Real Estate Asset Managers
  Smith, Dana K. ; Tardif, Michael 2012 John Wiley & Sons
• Extending and Evaluating CSPOT Type Constructors
  Brand, Lukas ; Mock, Markus 2023 Hochschule für Angewandte Wissenschaften Landshut
• Extensionality Versus Constructivity
  Valentini, Silvio