<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="piwek-2006-alligator">
    <titleInfo>
        <title>The Alligator theorem prover for dependent type systems: Description and proof samples</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Paul</namePart>
        <namePart type="family">Piwek</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2006</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Johan</namePart>
            <namePart type="family">Bos</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Alexander</namePart>
            <namePart type="family">Koller</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">piwek-2006-alligator</identifier>
    <location>
        <url>https://aclanthology.org/W06-3918</url>
    </location>
    <part>
        <date>2006</date>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T The Alligator theorem prover for dependent type systems: Description and proof samples
%A Piwek, Paul
%Y Bos, Johan
%Y Koller, Alexander
%S Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
%D 2006
%F piwek-2006-alligator
%U https://aclanthology.org/W06-3918

Markdown (Informal)

[The Alligator theorem prover for dependent type systems: Description and proof samples](https://aclanthology.org/W06-3918) (Piwek, ICoS 2006)

• The Alligator theorem prover for dependent type systems: Description and proof samples (Piwek, ICoS 2006)

ACL

• Paul Piwek. 2006. The Alligator theorem prover for dependent type systems: Description and proof samples. In Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5).