Functional and Logic Programming

14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings

John P. Gallagher,Martin Sulzmann

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $62.423 CLP.$56.180CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783319906867
Fecha de lanzamiento:1 may 2018
Editorial:Springer International Publishing

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:5.06 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Markov Logic

Pedro Domingos, Daniel Lowd, Ronald Brachman, William W. Cohen, Peter Stone

$30.858

Practical Foundations for Programming Languages

Robert Harper

$81.734

Practical Foundations for Programming Languages

Robert Harper

$79.089

Introduction to Compiler Design

Torben Ægidius Mogensen

$37.074

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Michael Gelfond, Yulia Kahl

$63.278

Theories of Programming Languages

John C. Reynolds

$76.461

The Functional Approach to Programming

Guy Cousineau, Michel Mauny, K. Callaway

$91.402

Tractability

Lucas Bordeaux, Youssef Hamadi, Pushmeet Kohli

$157.317

Ontology Matching

Jérôme Euzenat, Pavel Shvaiko

$179.802

String Processing and Information Retrieval

Gabriele Fici, Marinella Sciortino, Rossano Venturini

$56.180

Language and Automata Theory and Applications

Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek

$56.180

Linguistic Modeling of Information and Markup Languages

Andreas Witt, Dieter Metzing

$101.133

Programming Languages and Systems

Peter Thiemann

$56.180

Programming Languages and Systems

Hongseok Yang

$101.133

Programming Languages and Systems

Atsushi Igarashi

$56.180

Programming Languages and Systems

Bor-Yuh Evan Chang

$56.180

Functional and Logic Programming

Andy King, Oleg Kiselyov

$52.809

Trustworthy Global Computing

Martín Abadi, Alberto Lluch Lafuente

$56.180

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

$56.180

Interactive Theorem Proving

Christian Urban, Xingyuan Zhang

$56.180

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

$56.180

Grammatical Inference

Wojciech Wieczorek

$123.609

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao

$67.418

Trustworthy Global Computing

Pierre Ganty, Michele Loreti

$44.943

Declarative Programming and Knowledge Management

Ricardo Rocha, Michael Hanus

$52.809

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

$52.809

Logic-Based Program Synthesis and Transformation

Moreno Falaschi

$56.180

Programming Languages and Systems

Xinyu Feng, Sungwoo Park

$56.180

A List of Successes That Can Change the World

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

$56.180

Theoretical Aspects of Computing – ICTAC 2017

Dang Van Hung, Deepak Kapur

$56.180

Logic Programming and Nonmonotonic Reasoning

Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski

$56.180

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

$56.180

Recent Trends in Algebraic Development Techniques

Phillip James, Markus Roggenbach

$56.180

Inductive Logic Programming

Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto

$56.180

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

$56.180

Foundations of Information and Knowledge Systems

Flavio Ferrarotti, Stefan Woltran

$101.133

Interactive Theorem Proving

Stephan Merz, Jasmin Christian Blanchette

$56.180

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

$56.180

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$56.180

Static Analysis

Francesco Ranzato

$56.180

Interactive Theorem Proving

Mauricio Ayala-Rincón, César A. Muñoz

$56.180

Specification of Software Systems

V.S. Alagar, K. Periyasamy

$56.180

Logic-Based Program Synthesis and Transformation

Maurizio Proietti, Hirohisa Seki

$56.180

The Semantic Web – ISWC 2016

Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flöck, Yolanda Gil

$56.180

Tests and Proofs

Bernhard K. Aichernig, Carlo A. Furia

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Static Analysis

Xavier Rival

$56.180

Verified Software. Theories, Tools, and Experiments

Andrei Paskevich, Thomas Wies

$56.180

Rewriting Logic and Its Applications

Dorel Lucanu

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Christel Baier, Luís Caires

$56.180

Automated Deduction – CADE 26

Leonardo de Moura

$89.895

Foundations of Information and Knowledge Systems

Guillermo Simari, Marc Gyssens

$56.180

Language and Automata Theory and Applications

Shmuel Tomi Klein, Carlos Martín-Vide, Dana Shapira

$56.180

Rules and Reasoning

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman

$56.180

Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

$56.180

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$56.180

Practical Aspects of Declarative Languages

Yuliya Lierler, Walid Taha

$56.180

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$56.180

Static Analysis

Sandrine Blazy, Thomas Jensen

$56.180

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

$44.943

Reasoning Web. Semantic Interoperability on the Web

Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab

$56.180

Theory and Applications of Satisfiability Testing – SAT 2016

Nadia Creignou, Daniel Le Berre

$56.180

Automated Technology for Verification and Analysis

Bernd Finkbeiner, Geguang Pu, Lijun Zhang

$56.180

Automated Reasoning

Nicola Olivetti, Ashish Tiwari

$89.895

Logic Programming and Nonmonotonic Reasoning

Marcello Balduccini, Tomi Janhunen

$56.180

Reasoning Web. Web Logic Rules

Wolfgang Faber, Adrian Paschke

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Abstraction in Artificial Intelligence and Complex Systems

Lorenza Saitta, Jean-Daniel Zucker

$101.133

Formal Techniques for Distributed Objects, Components, and Systems

Ahmed Bouajjani, Alexandra Silva

$56.180

The Semantic Web – ISWC 2017

Philippe Cudré-Mauroux, Valentina Tamma, Jeff Heflin, Miriam Fernandez, Freddy Lecue, Christoph Lange, Claudia d'Amato, Juan Sequeda

$56.180

Practical Aspects of Declarative Languages

John Reppy, Marco Gavanelli

$44.943

Perspectives of System Informatics

Alexander K. Petrenko, Andrei Voronkov

$56.180

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

$44.943

Web Reasoning and Rule Systems

Magdalena Ortiz, Stefan Schlobach

$56.180

Rigorous Software Development

Jorge Sousa Pinto, Maria João Frade, Simão Melo de Sousa, José Bacelar Almeida

$38.850

Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers, Toby Walsh

$56.180

Applications of Declarative Programming and Knowledge Management

Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf

$56.180

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

$56.180

Type Systems for Distributed Programs: Components and Sessions

Ornela Dardha

$101.133

Meta-Programming and Model-Driven Meta-Program Development

Vytautas Štuikys, Robertas Damaševičius

$101.133

Advances in Cryptology – CRYPTO 2016

Matthew Robshaw, Jonathan Katz

$56.180

Flexible Query Answering Systems

Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen

$56.180

Corpus-Based Methods in Language and Speech Processing

Steve Young, Gerrit Bloothooft

$101.133

Formal Languages and Compilation

Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti

$67.418

Scalable Uncertainty Management

Christoph Beierle, Alex Dekhtyar

$56.180

Formal Methods: Foundations and Applications

Bill Roscoe, Márcio Cornélio

$44.943

Advances in Cryptology – EUROCRYPT 2018

Jesper Buus Nielsen, Vincent Rijmen

$56.180

Theory of Cryptography

Eyal Kushilevitz, Tal Malkin

$101.133

Small Dynamic Complexity Classes

Thomas Zeume

$56.180

Representation and Management of Narrative Information

Gian Piero Zarri

$101.133

Ver más por autor

Logic-Based Program Synthesis and Transformation

Fabio Fioravanti, John P. Gallagher

$56.180

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

$134.848

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Functional and Logic Programming

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Markov Logic

Practical Foundations for Programming Languages

Practical Foundations for Programming Languages

Introduction to Compiler Design

Knowledge Representation, Reasoning, and the Design of Intelligent Agents

Theories of Programming Languages

The Functional Approach to Programming

Tractability

Ontology Matching

String Processing and Information Retrieval

Language and Automata Theory and Applications

Linguistic Modeling of Information and Markup Languages

Programming Languages and Systems

Programming Languages and Systems

Programming Languages and Systems

Programming Languages and Systems

Functional and Logic Programming

Trustworthy Global Computing

Logic-Based Program Synthesis and Transformation

Interactive Theorem Proving

Theoretical Aspects of Computing – ICTAC 2016

Grammatical Inference

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering

Trustworthy Global Computing

Declarative Programming and Knowledge Management

Verified Software: Theories, Tools and Experiments

Logic-Based Program Synthesis and Transformation

Programming Languages and Systems

A List of Successes That Can Change the World

Theoretical Aspects of Computing – ICTAC 2017

Logic Programming and Nonmonotonic Reasoning

Perspectives of System Informatics

Recent Trends in Algebraic Development Techniques

Inductive Logic Programming

Theoretical Aspects of Computing - ICTAC 2015

Foundations of Information and Knowledge Systems

Interactive Theorem Proving

Logic, Rewriting, and Concurrency

Language and Automata Theory and Applications

Static Analysis

Interactive Theorem Proving

Specification of Software Systems

Logic-Based Program Synthesis and Transformation

The Semantic Web – ISWC 2016

Tests and Proofs

Verification, Model Checking, and Abstract Interpretation

Reachability Problems

Static Analysis

Verified Software. Theories, Tools, and Experiments

Rewriting Logic and Its Applications

Formal Techniques for Distributed Objects, Components, and Systems

Automated Deduction – CADE 26

Foundations of Information and Knowledge Systems

Language and Automata Theory and Applications

Rules and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Inductive Logic Programming

Semantics, Logics, and Calculi

Practical Aspects of Declarative Languages

Unifying Theories of Programming

Static Analysis

Recent Trends in Algebraic Development Techniques

Reasoning Web. Semantic Interoperability on the Web

Theory and Applications of Satisfiability Testing – SAT 2016

Automated Technology for Verification and Analysis

Automated Reasoning

Logic Programming and Nonmonotonic Reasoning

Reasoning Web. Web Logic Rules

Tools and Algorithms for the Construction and Analysis of Systems

Abstraction in Artificial Intelligence and Complex Systems

Formal Techniques for Distributed Objects, Components, and Systems

The Semantic Web – ISWC 2017