Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logic programming"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
author_facet:"Hanus, Michael"
Showing
1
-
13
of
13
Search:
'"logic programming"'
,
query time: 0.17s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Functional and
Logic
Programming
: 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... Classes -- Asynchronous Unfold/Fold Transformation for Fixpoint
Logic
--
Program
Logic for Higher-Order...
”
Read Now
2
Algebraic and
Logic
Programming
: 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Proceedings
Published 1996
Springer Berlin Heidelberg
Table of Contents:
“
... of semantics for normal constraint
logic
programs
-- Order-sorted termination: The unsorted way -- Unravelings...
”
Read Now
3
Algebraic and
Logic
Programming
: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
Published 1997
Springer Berlin Heidelberg
Table of Contents:
“
... computations -- A semantic basis for termination analysis of
logic
programs
and its realization using symbolic...
”
Read Now
4
Algebraic and
Logic
Programming
: 5th International Conference, ALP'96 Aachen, Germany, September 25–27, 1996 Proceedings
by
Hanus, Michael
Published 1996
Springer
Read Now
5
Algebraic and
Logic
Programming
: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings
by
Hanus, Michael
Published 1997
Springer Berlin Heidelberg
Read Now
6
Functional and Constraint
Logic
Programming
: 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Published 2021
Springer International Publishing
“
... on Functional and Constraint
Logic
Programming
, WFLP 2020, held in Bologna, Italy, in September 2020. Due...
”
Read Now
7
Applications of Declarative Programming and Knowledge Management : 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, Oc...
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... -- Relational Models for Tabling
Logic
Programs
in a Database -- Integrating XQuery and
Logic
Programming
...
”
Read Now
8
Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and...
Published 2005
Springer Berlin Heidelberg
“
... discussions of appli- tions of important technologies around
logic
programming
, constraint problem solving...
”
Read Now
9
Practical Aspects of Declarative Languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Table of Contents:
“
... -- Embedding Functional
Logic
Programming
in Haskell via a Compiler Plugin -- Execution Time Program...
”
Read Now
10
Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Pap...
Published 2014
Springer International Publishing
Table of Contents:
“
...-Level Approach to Implementing Exact Real Arithmetic in the Functional
Logic
Programming
Language Curry...
”
Read Now
11
Declarative Programming and Knowledge Management : Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revi...
Published 2018
Springer International Publishing
Table of Contents:
“
... Principles and Heurstic Strategies in Modeling Human Clusters -- Functional and
Logic
Programming
-- Concolic...
”
Read Now
12
Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings
Published 2007
Springer Berlin Heidelberg
Table of Contents:
“
... Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive
Logic
Programming
...
”
Read Now
13
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
Published 2009
Springer Berlin Heidelberg
Table of Contents:
“
... for CSP Specifications -- Fast Offline Partial Evaluation of Large
Logic
Programs
-- An Inference...
”
Back
Narrow Search
Remove Filters
Clear Filter
Author: Hanus, Michael
Year of Publication
From:
To:
Classification
005 - Computer programming, programs & data
8
004 - Data processing & computer science
3
006 - Special computer methods
2
Language
English
12
Collection
Springer eBooks 2005-
9
Springer Book Archives -2004
2
Lecture Notes in Computer Science
1
Springer Lecture Notes Archiv 1964-1996
1
Author
Hanus, Michael
Seipel, Dietmar
3
Heering, Jan
2
Meinke, Karl
2
Abreu, Salvador
1
Bartenstein, Oskar
1
more ...
Geske, Ulrich
1
Igarashi, Atsushi
1
Inclezan, Daniela
1
Rocha, Ricardo
1
Rodriguez-Artalejo, Mario
1
Rodríguez-Artalejo, Mario
1
Sacerdoti Coen, Claudio
1
Wolf, Armin
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=author_facet%3A%22Hanus%2C+Michael%22&lookfor=%22logic+programming%22&type=AllFields
Send by Email
×
Loading...