Zum Hauptinhalt springen
UB Hagen

Suchergebnisse

UB Katalog

Artikel & mehr
13 Treffer

Suchmaske

Suchtipp für den Bereich Artikel & mehr: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Das folgende Suchfeld wird hier nicht unterstützt: "Signatur / Strichcode".

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Mehr Treffer

Weniger Treffer

Gefunden in

Schlagwort

13 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    Formalizing Abstract Computability: Turing Categories in Coq
    Felty, Amy P. ; Vinogradova, Polina ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 338 (2018-10-01), S. 203-218
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  2. Detailansicht für Treffer 2 öffnen
    Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
    Marcus Vinícius Midena Ramos ; Ruy J. G. B. de Queiroz ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 344 (2019-08-01), S. 151-167
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  3. Detailansicht für Treffer 3 öffnen
    Building Certified Static Analysers by Modular Construction of Well-founded Lattices
    Pichardie, David ; Logiciel : ANalyse et DEveloppement (Lande) ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 212 (2008-04-01), S. 225-239
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  4. Detailansicht für Treffer 4 öffnen
    A Formalisation of Nominal C-Matching through Unification with Protected Variables
    Fernández, Maribel ; Ayala-Rincón, Mauricio ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 344 (2019-08-01), S. 47-65
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  5. Detailansicht für Treffer 5 öffnen
    Self-Quotation in a Typed, Intensional Lambda-Calculus
    Jay, Barry
    In: Electronic Notes in Theoretical Computer Science, Jg. 336 (2018-04-01), S. 207-222
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  6. Detailansicht für Treffer 6 öffnen
    A Formalisation of Nominal α -equivalence with A and AC Function Symbols
    Ayala-Rincón, Mauricio ; Nantes-Sobrinho, Daniele ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 332 (2017-06-01), S. 21-38
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  7. Detailansicht für Treffer 7 öffnen
    Programs as Data Structures in λSF-Calculus
    Jay, Barry
    In: Electronic Notes in Theoretical Computer Science, Jg. 325 (2016-10-01), S. 221-236
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  8. Detailansicht für Treffer 8 öffnen
    Time Bounds for General Function Pointers
    Hobor, Aquinas ; Dockins, Robert
    In: Electronic Notes in Theoretical Computer Science, Jg. 286 (2012-09-01), S. 139-155
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  9. Detailansicht für Treffer 9 öffnen
    Multimodal Separation Logic for Reasoning About Operational Semantics
    Hobor, Aquinas ; Dockins, Robert ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 218 (2008-10-01), S. 5-20
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  10. Detailansicht für Treffer 10 öffnen
    A List-machine Benchmark for Mechanized Metatheory
    Leroy, Xavier ; Appel, Andrew W.
    In: Electronic Notes in Theoretical Computer Science, Jg. 174 (2007-06-01), Heft 5, S. 95-108
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  11. Detailansicht für Treffer 11 öffnen
    iRho: the Software
    Liquori, Luigi
    In: Electronic Notes in Theoretical Computer Science, Jg. 135 (2006-03-01), S. 85-94
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  12. Detailansicht für Treffer 12 öffnen
    A Large-Scale Experiment in Executing Extracted Programs
    Letouzey, Pierre ; Cruz-Filipe, Luís
    In: Electronic Notes in Theoretical Computer Science, Jg. 151 (2006-03-01), Heft 1, S. 75-91
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
  13. Detailansicht für Treffer 13 öffnen
    Compact Normalisation Trace via Lazy Rewriting
    Quang Huy Nguyen ; Constraintsomatic deduction and software properties proofs (PROTHEO) ; et al.
    In: Electronic Notes in Theoretical Computer Science, Jg. 57 (2001-12-01), S. 87-108
    Online unknown
    Zugriff:
    View record in OpenAIRE (Volltext)
    View record from ScienceDirect (Volltext)
    Wie komme ich dran?
xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -