Pure Type Systems With De Bruijn Indices

Computer Journal - United Kingdom
doi 10.1093/comjnl/45.2.187
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Oxford University Press (OUP)

Related search

Pure Type Systems With Definitions

English

Succinct Dynamic De Bruijn Graphs

2020English

Scaling Metagenome Sequence Assembly With Probabilistic De Bruijn Graphs

Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
2012English

A-Translation and Looping Combinators in Pure Type Systems

Journal of Functional Programming
Software
1994English

Evolutionary Construction of De Bruijn Sequences

2011English

De Bruijn Notation as a Nested Datatype

Journal of Functional Programming
Software
1999English

Optimal Routing in the De Bruijn Networks

English

On the Existence of De Bruijn Tori With Two by Two Windows

Journal of Combinatorial Theory - Series A
CombinatoricsComputational TheoryDiscrete MathematicsTheoretical Computer ScienceMathematics
1996English

From Indexing Data Structures to De Bruijn Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy