201
Published 2017
Springer International Publishing
Table of Contents: ... Amortized Time Algorithm for Generating Left-Child Sequences in Lexicographic Order -- Geodectic Contraction...

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

203
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Verification Using a Temporal Description Logic -- Axiomatization and Completeness of Lexicographic Products...

204
Published 2000
Springer Berlin Heidelberg
Table of Contents: ... Areas -- The LogoVista ES Translation System -- L&H Lexicography Toolkit for Machine Translation -- A...

205
by Garzarán, Eduardo Gómez
Published 2020
MDPI - Multidisciplinary Digital Publishing Institute
... and lexicography; and translation and interpretation....

206
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... Incomplete Preferences -- Lexicographical Maxmin Core Solutions for Cooperative Games -- Game Theoretic...

207
Published 2017
Springer International Publishing
Table of Contents: ... under Permutations -- Matching Lexicographic and Conjugation Orders on the Conjugation Class of a...

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

209
Published 2021
Springer International Publishing
Table of Contents: ... elicitation of preferences: optimist or pessimist? -- Probabilistic Lexicographic Preference Trees...

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

211
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Candidates -- Lexicographic Path Induction -- Parametricity for Haskell with Imprecise Error Semantics...

212
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...

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

214
Published 2001
Birkhäuser
Table of Contents: ... kernels on lexicographic ? × R -- On Riccati equations and reproducing kernel spaces -- A status report...

215
by Skala, Heinz J.
Published 1975
Springer Netherlands
Table of Contents: ... Representation Theorems -- 2. Lexicographic Utility -- 3. Utility Theories with Respect to n?-Sets -- 4...

216
Published 2021
Palgrave Macmillan
... (meta)lexicography and identity construction in reference works (e.g. dictionaries), as well as Corpus...

217
by Léon, Jacqueline
Published 2021
Springer International Publishing

219
Published 2022
Springer International Publishing
... in specialized languages, phraseology in lexicography, cognitive approaches to phraseology, the computational...

220
Published 2015
Springer International Publishing
... of the past dealing with various domains: mathematics, zoology, medicine, lexicography. The documents examined...