• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (7):

• Tatjana Petkovic, Saeed Salehi, Positive Varieties of Tree Languages. Theoretical Computer Science 347(1-2), 1–35, 2005.
• Saeed Salehi, Varieties of Tree Languages Definable by Syntactic Monoids. Acta Cybernetica 17(1), 21 – 41, 2005.
• Saeed Salehi, Congruence Preserving Functions of Wilke's Tree Algebras. Algebra Universalis 53(4), 451 – 470, 2005.
• Saeed Salehi, Polynomially Bounded Recursive Realizability. Notre Dame Journal of Formal Logic 46(4), 407 – 417, 2005.
• Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi, Intuitionistic Axiomatizations for Bounded Extension Kripke Models . Annals of Pure and Applied Logic 124, 267–285, 2003.
• Saeed Salehi, Provably Total Functions of Basic Arithmetic. Mathematical Logic Quarterly 49(3), 316–322, 2003.
• Saeed Salehi, Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic. Reports on Mathematical Logic 36, 55–61, 2002.

Articles in proceedings (3):

• Saeed Salehi, A Completeness Property of Wilke's Tree Algebras. In: Mathematical Foundations of Computer Science 2003, Lecture Notes in Computer Science 2747, 662–670, Springer-Verlag, 2003.
• Saeed Salehi, Unprovability of Herbrand Consistency in Weak Arithmetics. In: Bulletin of Symbolic Logic, 1 8, 156, Association for Symbolic Logic, 2002.
• Saeed Salehi, Unprovability of Herbrand Consistency in Waek Arithmetics. In: Proceedings of the sixth ESSLLI Student Session, 265-274, 2001.

Ph.D. thesis (1):

• Saeed Salehi, Varieties of Tree Languages. TUCS Dissertations 64. Turku Centre for Computer Science, 2005.

Technical reports (5):

• Saeed Salehi, Magnus Steinby, Tree Algebras and Varieties of Tree Languages. TUCS Technical Reports 761, Turku Centre for Computer Science, 2006.
• Tatjana Petkovic, Saeed Salehi, Positive Varieties of Tree Languages. TUCS Technical Reports 622, Turku Centre for Computer Science, 2004.
• Saeed Salehi, Congruence Preserving Functions of Wilke's Tree Algebras. TUCS Technical Reports 614, Turku Centre for Computer Science, 2004.
• Saeed Salehi, Varieties of Tree Languages Definable by Syntactic Monoids. TUCS Technical Reports 619, Turku Centre for Computer Science, 2004.
• Saeed Salehi, Magnus Steinby, Varieties of Many-Sorted Recognizable Sets. TUCS Technical Reports 626, Turku Centre for Computer Science, 2004.