Editorial
Author | Daniel M. German |
Position | Associate Professor, Computer Science, University of Victoria, editor of this Review |
Pages | 1-3 |
!∀#
! ∀#!∃ ! %&∋ ( )! ∗
! +∀, ∗ , − .! !! /! !
!∃ − ∃/ ! ! ! ! !
# ∃! ∃!∀!∀0
1! # ∃ , ∀ ∗ ∗ 2,∗∗3∀0 !
! ∀ ! )! ∗4 ! !. !
+∀ !∀ ! ! ! ∃ 1! %&( , ! 56
,!(/,!4∀!,!,!∀
∗, . !! # #!#. !∀∃
!∀ ∃ ! ∀0 ! ∀∀ 71! ) ! ∀ ∗
∗ ,89 :∗∀!;6∀! #!!
,∗∗ ! ∃ # ! ∀ 1!. 6∀ !
∀0∃ / . ∃
!∀.∃∀∀#!∀
!∀∀!!∀
1. . ∀∀ ∃∃ .
∀!!#∀ ∀.! .
!! .7#8! !,!∀
#. .∀.− 4∀∀9∃∃
49 49 # ! ∀ ! ! ∀ 2 # . ∀∃
. ∀∃∃ ∃∃ ∀∃ # 3 6∀ ! !
;!!49 !∃ ! # . + !
!2 !.3#∀#.∀!! !
49
,∀∗∗ 5 )
=
, ! ∀ − ∃49 ∀.∃!+# ! .#.
∃ ∀ .! ∀! 49
!49∀ .∃! ! !49 # ! ∀ !
− ∀ ! ∀ ! 49 ∀. ∃ ∀ 9!∀
∀!
∃∀!∋∗!
∀ ∃ ∃ %&&∋ >+?≅ !∗4∗ ∃∃
∗4∗ ∀∃∃ ∃∃ ∀∃ . ;95
∀ ! ∃∃ !∀∀ ∗4∗ ! !
∗4∗∗4∗!∃∀.∃!
! ∋ ∗ ( ∃ & ∃) Α ! ∀∀
∀∃∃∃∃∀ #.4 %∃! ∀ 4
# ∀ ∀ ∀ ! #. Α Β ! !
!/ 4 ∀.∃! 4 ∃ ! % ∃ !
∀.∃!
;:Χ 75. # ∀. +∃! ! 49 #!
!48#! ! !6 ! !,∗
, ∀ ! ∃ ! 49 ∀.∃!+# ! −∃ 2 !!
.3# ∃∃∃!%9#5 #
∀#
5∀! !∀.! ,∗∗
6∀! ,∗∗ #! ! #!
. !∃ !7>∀ .4>)∃ ! 5∀5%958
%#. !5∀5% 9#5255%953
!5%95 =%# # ! #! ∃ ! !
55%95 ! ! ! ! ∃ ∃ ! 5%95
∗
%∗∀+
∀∀&&∀
∀&&
∗∗4∗;9∃∃5>>+?≅Α∃!>2%>!#3=(.
==4#!∀∀00∆Ε>+?≅
= ∗4%∃>&>+≅;:4)>∀.∃!#.>)∀
Α4∀∀9∃∃2&>Α.===3
,∀∗∗ 5 )
,∀∗∗ 5 )
1!∀∀ ∀#!!,∀∗∗ 5
) 2(4)>:=3∃.∀∀
!∀ ∃
1!!#
%(2=3ΧΧ,∀∗∗
5 ) 23∀∀Β?
=
>∀.∃!Φ=(%
1!>>∋Γ2∃;3=
−#>>+ΗΙ+&#
!∀∃#.+=−
4∀6∀!!6∀.∀!!
.∃∃∀!!∃2 !!.
#!3!−1!∀∃∀!∀!
∀∀# !∀.∃∃!∀∀