# Ken-etsu Fujita

According to our database

Collaborative distances:

^{1}, Ken-etsu Fujita authored at least 31 papers between 1991 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

The existential fragment of second-order propositional intuitionistic logic is undecidable.

J. Appl. Non Class. Logics, January, 2024

2022

Math. Struct. Comput. Sci., August, 2022

2021

Stud Logica, 2021

2020

Theor. Comput. Sci., 2020

2019

Neighbourhood and Lattice Models of Second-Order Intuitionistic Propositional Logic.

Fundam. Informaticae, 2019

2018

Inf. Comput., 2018

2016

Stud Logica, 2016

Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016

2015

Stud Logica, 2015

2014

Theor. Comput. Sci., 2014

A note on subject reduction in (→, ∃)-Curry with respect to complete developments.

Inf. Process. Lett., 2014

2013

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

2012

The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types.

Inf. Comput., 2012

2010

Theor. Comput. Sci., 2010

Ann. Pure Appl. Log., 2010

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

2005

Proceedings of the Typed Lambda Calculi and Applications, 7th International Conference, 2005

2003

Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

2002

Inf. Process. Lett., 2002

2001

Proceedings of the Computing: The Australasian Theory Symposium, 2001

2000

Proceedings of the Computing: the Australasian Theory Symposium, 2000

RAIRO Theor. Informatics Appl., 2000

Proceedings of the Theoretical Computer Science, 2000

1999

Log. J. IGPL, 1999

Proceedings of the Typed Lambda Calculi and Applications, 4th International Conference, 1999

1998

Stud Logica, 1998

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

Proceedings of the Advances in Computing Science, 1997

1992

On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.

Ann. Pure Appl. Log., 1992

1991

Proving based on similarity.

Proceedings of the Algorithmic Learning Theory, 2nd International Workshop, 1991