Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Frédéric Blanqui

The Computability Path Ordering: The End of a Quest

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Related publications

A Measurement Study on the Impact of Routing Events on End-To-End Internet Path Performance

Computer Communication Review
Computer NetworksSoftwareCommunications
2006English

On the System CL12 of Computability Logic

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Computability via the Lambda Calculus With Patterns

Journal of Mathematics Research
2010English

Computability of a Wedge of Circles

Rad Hrvatske Akademije Znanosti i Umjetnosti, Matematicke Znanosti
Mathematics
2017English

Ordering in FCC Lattices by the Cluster Variation Method and Path Probability Method

Materials Transactions, JIM
1992English

End Simplicial Vertices in Path Graphs

Discussiones Mathematicae - Graph Theory
CombinatoricsApplied MathematicsDiscrete Mathematics
2016English

BDD Path Length Minimization Based on Initial Variable Ordering

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2005English

Towards a Formal Theory of Computability

English

Computability in Europe 2008

Archive for Mathematical Logic
PhilosophyLogic
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy