نتایج جستجو برای: binary passfail

تعداد نتایج: 118199  

Journal: :Topology and its Applications 1992

Journal: :WikiJournal of Science 2019

Journal: :Mathematical and Computer Modelling 1993

Journal: :MATHEMATICA SCANDINAVICA 2013

Journal: :Nature 2017

Journal: :Astronomy & Astrophysics 2017

Journal: :Theoretical Computer Science 2021

We provide a reformulation and formalization of the classical result by Juhani Karhum\"aki characterizing intersections two languages form $\{x,y\}^*\cap \{u,v\}^*$. use terminology morphisms which allows to formulate in shorter more transparent way, we formalize proof assistant Isabelle/HOL.

Journal: :Physical Review D 1997

Journal: :International Astronomical Union Colloquium 1983

Journal: :Notre Dame Journal of Formal Logic 1995

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید