1-20 of 85
Jan Maluszyński
Close
Save search
Follow your search
Access your saved searches in your account
Would you like to receive an alert when new items match your search?
Close Modal
Sort by
Book Chapter

Program Committee

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0001
EISBN: 9780262291323
PDF
Book Chapter

The Association for Logic Programming

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0002
EISBN: 9780262291323
PDF
Book Chapter

Series Foreword

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0003
EISBN: 9780262291323
PDF
Book Chapter

Preface

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0004
EISBN: 9780262291323
PDF
Book Chapter

Referees

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0005
EISBN: 9780262291323
PDF
Book Chapter

Temporal Logic Model Checking

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0007
EISBN: 9780262291323
PDF
Book Chapter

Program Analysis via Graph Reachability

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0008
EISBN: 9780262291323
PDF
Book Chapter

Inductive Databases and Condensed Representations for Data Mining

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0009
EISBN: 9780262291323
PDF
Book Chapter

Logic Programming Tools for Advanced Internet Programming

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0011
EISBN: 9780262291323
PDF
Book Chapter

Set-based analysis of logic programs and reactive logic programs

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0012
EISBN: 9780262291323
PDF
Book Chapter

Constraint Programming in Oz

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0013
EISBN: 9780262291323
PDF
Book Chapter

Model Checking

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0014
EISBN: 9780262291323
PDF
Book Chapter

Logic Programming for Processing Natural Language

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0015
EISBN: 9780262291323
PDF
Book Chapter

Multi-Paradigm Declarative Programming

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0016
EISBN: 9780262291323
PDF
Book Chapter

Transaction Logic

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0017
EISBN: 9780262291323
PDF
Book Chapter

Programming with Global Analysis

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0018
EISBN: 9780262291323
PDF
Book Chapter

A Lazy Narrowing Calculus for Functional Logic Programming with Algebraic Polymorphic Types

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0020
EISBN: 9780262291323
PDF
Book Chapter

Answer Sets for Prioritized Logic Programs

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0021
EISBN: 9780262291323
PDF
Book Chapter

Generated Models and Extensions of Nonmonotonic Systems

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0022
EISBN: 9780262291323
PDF
Book Chapter

Comparative Metric Semantics for Commit in Or-Parallel Logic Programming

By Jan Maluszyński
Publisher: The MIT Press
Published: 10 October 1997
DOI: 10.7551/mitpress/4283.003.0023
EISBN: 9780262291323
PDF