Trifon Trifonov

According to our database, Trifon Trifonov authored at least 11 papers between 2003 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Modal Functional (Dialectica) Interpretation.

Mircea-Dan Hernest, Trifon Trifonov

Log. Methods Comput. Sci., 2021

2014

IP design for DIF, integrated in Nios II systems: averaging filter.

Trifon Trifonov

Proceedings of the 15th International Conference on Computer Systems and Technologies, 2014

2012

Analysis of methods for extraction of programs from non-constructive proofs.

Trifon Trifonov

PhD thesis, 2012

Exploring the Computational Content of the Infinite Pigeonhole Principle.

Diana Ratiu, Trifon Trifonov

J. Log. Comput., 2012

Modal functional interpretations

Mircea-Dan Hernest, Trifon Trifonov

CoRR, 2012

2010

Dialectica Interpretation with Marked Counterexamples

Trifon Trifonov

Proceedings of the Proceedings Third International Workshop on Classical Logic and Computation, 2010

Light Dialectica revisited.

Mircea-Dan Hernest, Trifon Trifonov

Ann. Pure Appl. Log., 2010

Quasi-linear Dialectica Extraction.

Trifon Trifonov

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Dialectica Interpretation with Fine Computational Control.

Trifon Trifonov

Proceedings of the Mathematical Theory and Computational Practice, 2009

2006

Fast computation of a gated dipole field.

George Mengov, Kalin Georgiev, Stefan Pulov, Trifon Trifonov, Krassimir T. Atanassov

Neural Networks, 2006

2003

A generalized net model of a material-processing reactor equipped with chromatic monitoring and control based on intuitionistic fuzzy evaluation of the chromaticity.

Krassimir T. Atanassov, Boyan E. Djakov, J. A. Alexieva, Trifon Trifonov, Gordon R. Jones

Proceedings of the 3rd Conference of the European Society for Fuzzy Logic and Technology, 2003