Manuel Hermenegildo
Manuel Hermenegildo
5 ספרים במאגר
ספרים
Logic programmingManuel Hermenegildo
Logic programming
Manuel Hermenegildo · 1990
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming LanguagesManuel Hermenegildo
Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Manuel Hermenegildo · 2010
Practical Aspects of Declarative LanguagesManuel Hermenegildo
Practical Aspects of Declarative Languages
Manuel Hermenegildo · 2005
Static AnalysisManuel Hermenegildo
Static Analysis
Manuel Hermenegildo · 2003
Programming Languages Implementations, Logics and ProgramsManuel Hermenegildo
Programming Languages Implementations, Logics and Programs
Manuel Hermenegildo · 1995
ספרים משותפים ואוספים
ספרים שבהם Manuel Hermenegildo מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.
Analysis and visualization tools for constraint programmingPierre Deransart
Analysis and visualization tools for constraint programming
Pierre Deransart · 2000
Programming language implementation and logic programmingPLILP '94 (1994 Madrid, Spain)
Programming language implementation and logic programming
PLILP '94 (1994 Madrid, Spain) · 1994
Verification, Model Checking, and Abstract InterpretationGilles Barthe
Verification, Model Checking, and Abstract Interpretation
Gilles Barthe · 2010
Functional and Logic ProgrammingJacques Garrigue
Functional and Logic Programming
Jacques Garrigue · 2008