Concepedia

Daniel Lascar

DL

14

Publications

779

Citations

13

H-Index

1976

Active since

Affiliations

Université Paris Cité(Current)

Institut de Mathématiques de Jussieu-Paris Rive Gauche

Centre National de la Recherche Scientifique

Hebrew University of Jerusalem

University of Illinois Urbana-Champaign

Daniel Lascar is an author at Université Paris Cité specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningFrenchStabilityStatisticsEngineeringGraph TheoryFormal MethodsSystem SoftwareComputer ScienceSystems Engineering

Publications per year

1976–2001

14

Publications

14

The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph

Wilfrid Hodges, Ian Hodkinson, Daniel Lascar et al. · Journal of the London Mathematical Society · 1993 · 135 citations

Small Index Property, Graph Theory, Random Graph +10

Extending partial automorphisms and the profinite topology on free groups

Bernhard Herwig, Daniel Lascar · Transactions of the American Mathematical Society · 1999 · 127 citations · Full text

Topological Semigroups, Geometric Group Theory, Frattini Subgroup +7

An introduction to forking

Daniel Lascar, Bruno Poizat · Journal of Symbolic Logic · 1979 · 95 citations

Engineering, Vector Spaces, Concurrency Theory +10

On the category of models of a complete theory

Daniel Lascar · Journal of Symbolic Logic · 1982 · 83 citations

Automated Reasoning, Countable Complete Theory, Theory T +7

Ranks and definability in superstable theories

Daniel Lascar · Israel Journal of Mathematics · 1976 · 78 citations

Order Theory, Superstable Theories, Model Theory +1

Rows per page

1–5 of 14