Tag: Algebra and Logic

NOVA Math > NOVA Math >

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories

2024, 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, Antonelli,M;Dal Lago,U;Davoli,D;Oitavem,I;Pistone,P

Read More

ORIENTED TRANSFORMATIONS ON A FINITE CHAIN: ANOTHER DESCRIPTION (vol 38, pg 725, 2023)

2024, COMMUNICATIONS OF THE KOREAN MATHEMATICAL SOCIETY, Fernandes,VH

Read More

A complete solution for a nontrivial ruleset with entailing moves

2024, ELECTRONIC JOURNAL OF COMBINATORICS, Larsson,U;Nowakowski,RJ;Santos,CP

Read More

Timed Measurement Theory

2024, INTERNATIONAL JOURNAL OF UNCONVENTIONAL COMPUTING, Skapinakis,E;Costa,JF

Read More

Cube-Based Isomorph-Free Finite Model Finding

2024, Frontiers in Artificial Intelligence and Applications - ECAI 2024, Chow,C;Janota,M;Araújo,J

Read More

On partial endomorphisms of a star graph

2024, QUAESTIONES MATHEMATICAE, Dimitrova,I;Fernandes,VH;Koppitz,J

Read More

SAT-Based Techniques for Lexicographically Smallest Finite Models

2024, THIRTY-EIGHTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 38 NO 8, Janota,M;Chow,C;Araujo,J;Codish,M;Vojtechovsky,P

Read More

On monoids of endomorphisms of a cycle graph

2024, MATHEMATICA SLOVACA, Dimitrova,I;Fernandes,VH;Koppitz,J;Quinteiro,TM

Read More

On the cyclic inverse monoid on a finite set

2024, ASIAN-EUROPEAN JOURNAL OF MATHEMATICS, Fernandes,VH

Read More

Endomorphisms of semigroups of monotone transformations

2024, JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Li,DB;Fernandes,VH

Read More