Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Filter

Your Filters

Content Provider : Supplemental Index Publication : entcs Language : abkhazian Language : dutch Language : english Language : hindi Language : interlingua (international auxiliary language association) Language : marshallese Language : swedish

Reset filters

Item request has been placed!

Item request cannot be made.

Processing Request

Periodical

Even-power of Cycles With Many Vertices are Type 1 Total Colorable.

Authors : Machado, Raphael; Souza, Uéverton S.; Zorzi, Alesom

Subjects: COMPUTATIONAL mathematics; GRAPH algorithms; GRAPH theory

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Aug2019, Vol. 346, p747-758, 12p

Record details

Read More Add to Saved list

Periodical

A Fresh View of Linear Logic as a Logical Framework.

Authors : Olarte, Carlos; Pimentel, Elaine; Xavier, Bruno

Subjects: MODAL logic; LOGIC; COMPUTATIONAL mathematics

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Sep2020, Vol. 351, p143-165, 23p

Record details

Read More Add to Saved list

Periodical

Weakest Preconditions in Fibrations.

Authors : Aguirre, Alejandro; Katsumata, Shin-ya

Subjects: CATEGORIES (Mathematics); ALGEBRA; MONADS (Mathematics)

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Oct2020, Vol. 352, p5-27, 23p

Record details

Read More Add to Saved list

Periodical

Towards a Directed Homotopy Type Theory.

Authors : North, Paige Randall

Subjects: HOMOTOPY theory; CATEGORIES (Mathematics); HOMOMORPHISMS

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Nov2019, Vol. 347, p223-239, 17p

Record details

Read More Add to Saved list

Periodical

Algebras of the Extended Probabilistic Powerdomain Monad.

Authors : Goubault-Larrecq, Jean; Jia, Xiaodong

Subjects: TOPOLOGICAL algebras; ALGEBRA; MONADS (Mathematics)

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Aug2019, Vol. 345, p37-61, 25p

Record details

Read More Add to Saved list

Periodical

Continuous Monads.

Authors : Manes, Ernie

Subjects: MONADS (Mathematics); DISTRIBUTIVE lattices; TOPOLOGY

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Oct2020, Vol. 352, p173-190, 18p

Record details

Read More Add to Saved list

Periodical

Equational Logic and Categorical Semantics for Multi-Languages.

Authors : Buro, Samuele; Crole, Roy; Mastroeni, Isabella

Subjects: SEMANTICS (Philosophy); PROGRAMMING languages; CATEGORIES (Mathematics)

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Oct2020, Vol. 352, p79-103, 25p

Record details

Read More Add to Saved list

Periodical

Indexed and Fibred Structures for Hoare Logic.

Authors : Wolter, U.E.; Martini, A.R.; Häusler, E.H.

Subjects: CATEGORIES (Mathematics); LOGIC; SCIENTIFIC computing

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Mar2020, Vol. 348, p125-145, 21p

Record details

Read More Add to Saved list

Periodical

The Construction of Set-Truncated Higher Inductive Types.

Authors : van der Weide, Niels; Geuvers, Herman

Subjects: CONSTRUCTION; ALGEBRA; HOMOTOPY theory

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Nov2019, Vol. 347, p261-280, 20p

Record details

Read More Add to Saved list

Periodical

Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories.

Authors : Kaarsgaard, Robin

Subjects: DUALITY (Logic); HEYTING algebras; ISOMORPHISMS

Source: ENTCS: Electronic Notes in Theoretical Computer Science; Nov2019, Vol. 347, p179-202, 24p

Record details

Read More Add to Saved list