CORE

🇺🇦   make metadata, not war

    2 research outputs found

    ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS

    Author
    Publication venue
    'World Scientific Pub Co Pte Lt'
    Publication date
    Field of study
    No full text
    Crossref

    LIPIcs, Volume 258, SoCG 2023, Complete Volume

    Author
    Publication venue
    LIPIcs - Leibniz International Proceedings in Informatics. 39th International Symposium on Computational Geometry (SoCG 2023)
    Publication date
    Field of study
    Get PDF
    LIPIcs, Volume 258, SoCG 2023, Complete Volum
    Dagstuhl Research Online Publication Server
    corecore