Search alternatives:
"lexicographer" » "lexicographers", "lexicography", "lexicographic"

1
Published 2014
Springer International Publishing
Table of Contents: ... Inversion? -- Probabilistic Analysis of Programs: A Weak Limit Approach -- Predicative Lexicographic Path...

2
by Branquart, P., Cardinael, J.-P., Delescaille, J.-P., Lewi, J.
Published 1976
Springer Berlin Heidelberg
Table of Contents: .... Study of the prevision mechanism -- 1. Lexicographical blocks -- 2. Mode identifiers -- 3. Generators...

3
Published 2024
Springer Nature Switzerland
Table of Contents: ... by lexicographic excellence -- Reduction-Based MAX-3SAT with Low Nonlinearity and Lattices Under Recombination...

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: ...Computational Complexity -- General Size-Change Termination and Lexicographic Descent -- Comparing...

5
Published 2008
Springer Berlin Heidelberg
Table of Contents: ... -- Reasoning with a Network of Aligned Ontologies -- Lexicographical Inference over Inconsistent DL-Based...

6
Published 2015
Springer International Publishing
Table of Contents: ... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...

7
Published 2020
Springer International Publishing
Table of Contents: ... Complexity of Lexicographically Smallest Words and Computing Successors -- Reconstructing Words from Right...

8
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... lexicographic first paths in graphs -- A new upper bound on the complexity of the all pairs shortest path...

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: ... System Inference -- Eliminating Dependent Pattern Matching -- Iterative Lexicographic Path Orders -- A...

10
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...

11
Published 2022
Springer International Publishing
Table of Contents: ... of trees -- Generating Spanning Tree Sequences of a Fan Graph in Lexicographic Order and Ranking/Unranking...

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- A measure of parallelization for the lexicographically first maximal subgraph problems -- Make your...

13
Published 2003
Springer Berlin Heidelberg
Table of Contents: ...-Optimal Coarse-Grained PRAM Algorithm for Lexicographically First Maximal Independent Set...

14
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... of dimension 4 over GF(5) -- Characterisations of lexicographic sets and simply-connected Hilbert schemes...

15
Published 2021
Springer International Publishing
Table of Contents: ... -- Lexicographic Product of Digraphs and Related Boundary-Type Sets -- The Connected Domination Number of Grids...

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: ...Invited Papers -- Lexicographic Breadth First Search – A Survey -- Wireless Networking: Graph...

17
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... path searching -- The lexicographically first maximal subgraph problems: P-completeness and NC...

18
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... Theorem: A constructive glimpse -- Parallel complexity of lexicographically first problems for tree...

19
Published 1979
Springer Berlin Heidelberg
Table of Contents: ...-tape Turing machines -- The complexity of lexicographic sorting and searching -- An algebraic approach...

20
Published 1988
Springer Berlin Heidelberg
Table of Contents: ... applications of fürer's counter to one-tape nondeterministic TMs -- ? 2 p -complete lexicographically first...