Sciweavers

    481 search results - page 14 / 97
    » Executing Higher Order Logic
    Sort
    View
    ASIAN
    2004
    Springer
    112views Algorithms» more  ASIAN 2004»
    Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
    15 years 8 months ago
    Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
    Download  www.clip.dia.fi.upm.es
    Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
    claim paper
    Read More »
    WADT
    1999
    Springer
    103views Software Engineering» more  WADT 1999»
    Higher-Order Logic and Theorem Proving for Structured Specifications
    15 years 7 months ago
    Higher-Order Logic and Theorem Proving for Structured Specifications
    Download  delta.math.univ.gda.pl
    Tomasz Borzyszkowski
    claim paper
    Read More »
    LICS
    1997
    IEEE
    101views Automated Reasoning» more  LICS 1997»
    A Logic for Reasoning with Higher-Order Abstract Syntax
    15 years 7 months ago
    A Logic for Reasoning with Higher-Order Abstract Syntax
    Download  www.lix.polytechnique.fr
    Raymond McDowell, Dale Miller
    claim paper
    Read More »
    SPLC
    2007
    91views Software Engineering» more  SPLC 2007»
    Reasoning about Feature Models in Higher-Order Logic
    15 years 4 months ago
    Reasoning about Feature Models in Higher-Order Logic
    Download  kind.ucd.ie
    A mechanically formalized feature modeling metamodel is presented. This theory is a generic higher-order formalization of a mathematical model synthesizing several feature modelin...
    Mikolás Janota, Joseph Kiniry
    claim paper
    Read More »
    DLOG
    2009
    97views Automated Reasoning» more  DLOG 2009»
    On Higher-Order Description Logics
    15 years 24 days ago
    On Higher-Order Description Logics
    Download  web.comlab.ox.ac.uk
    Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo ...
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.