3 research outputs found
Equivalence, reduction and minimization of finite fuzzy-automata
- Publication venue
- Published by Elsevier Inc.
- Publication date
- 30/11/1981
- Field of study
Get PDFAbstractA new algebraic approach to the problem of equivalence, reduction and minimization of some kinds of fuzzy-automata is given. A system of necessary and sufficient conditions for equivalence of weakly initial fuzzy-automata is formulated. Some algorithms considering the equivalence for two fuzzy-automata are constructed
Categories
- Author
- A. Babakhaninan
- A. Bastiani
- A. Bastiani
- A. Brezuleanu
- A. Burroni
- A. Burroni
- A. Burroni
- A. Daigneault
- A. Daigneault
- A. Dress
- A. Duma
- A. Frei
- A. Frei
- A. Frei
- A. Frei
- A. Frei
- A. Frei
- A. G. Heinicke
- A. Granjean
- A. Grothendieck
- A. Grothendieck
- A. H. M. Levelt
- A. Hanna
- A. Hanna
- A. Hanna
- A. Hanna
- A. Heller
- A. Horn
- A. I. Cheremisin
- A. I. Kashu
- A. I. Pilatovskaya
- A. I. Pilatovskaya
- A. I. Pilatovskaya
- A. I. Pilatovskaya
- A. I. Pilatovskaya
- A. Kh. Livshits
- A. Kh. Livshits
- A. Klein
- A. Klein
- A. Kock
- A. Kock
- A. Kock
- A. Kock
- A. Kristensen
- A. Labella
- A. Lue
- A. Machado
- A. Mayet
- A. N. Kravetskii
- A. N. Kravetskii
- A. N. Kravetskii
- A. Preller
- A. Preller
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Pultr
- A. Putr
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Radu
- A. Shafaat
- A. Solian
- A. Solian
- A. Solian
- A. Solian
- A. Solian
- A. Thomas
- A. V. Roiter
- Atshushi Hakajima
- B. Banaschewski
- B. Banaschewski
- B. Banaschewski
- B. Banaschewski
- B. Calvo
- B. Day
- B. Day
- B. Day
- B. Day
- B. Eckmann
- B. Eckmann
- B. Eckmann
- B. Fichtner-Schultz
- B. H. Neumann
- B. J. Gardner
- B. J. Loic
- B. Mitchell
- B. Mitchell
- B. Mitchell
- B. Mitchell
- B. Mitchell
- B. P. Brooks
- B. Pareigis
- B. Pareigis
- B. Pareigis
- B. Pareigis
- B. Pareigis
- B. Roux
- B. Stenström
- B. Stenström
- B. Stenström
- B. T. Ballinger
- C. Anghel
- C. Anghel
- C. B?nic?
- C. B?nic?
- C. Constantinescu
- C. Dochitoiu
- C. H. Dowker
- C. Howlett
- C. Leclerc
- C. Leclerc
- C. Legrand
- C. Lemaire
- C. M. Barros
- C. M. Barros
- C. M. Ringel
- C. M. Ringel
- C. M. Ringel
- C. M. Ringel
- C. M. Ringel
- C. N?st?sescu
- C. N?st?sescu
- C. N?st?sescu
- C. N?st?sescu
- C. Nit?
- C. P. Walker
- C. Platt
- C. Platt
- C. S. Jonson
- C. Schoeller
- C. Stef?nescu
- C. Stef?nescu
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Ehresmann
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- Ch. Lair
- D. A. Raikov
- D. A. Raikov
- D. A. Raikov
- D. B. Fuks
- D. B. McAlister
- D. Bourn
- D. Bourn
- D. Bourn
- D. Bourn
- D. Bourn
- D. Brignole
- D. C. Newell
- D. C. Rine
- D. C. Rine
- D. Chamaillard
- D. E. Bertholf
- D. Ensey
- D. G. Quillen
- D. H. Osdol
- D. H. Osdol Van
- D. L. Davis
- D. Licouiu
- D. Moore
- D. O. Tall
- D. Popescu
- D. Popescu
- D. Popescu
- D. Popescu
- D. Popescu
- D. Popescu
- D. Pshevorska-Rolevich
- D. Pumplün
- D. Pumplün
- D. Pumplün
- D. Puppe
- D. Schlomiuk
- D. Schumacher
- D. Schumacher
- D. Simson
- E. A. Viña
- E. Burroni
- E. Burroni
- E. Burroni
- E. Burroni
- E. Burroni
- E. Fried
- E. G. Shul'geifer
- E. G. Shul'geifer
- E. G. Shul'geifer
- E. G. Shul'geifer
- E. G. Shul'geifer
- E. J. Dubuc
- E. J. Dubuc
- E. J. Dubuc
- E. J. Dubuc
- E. J. Dubuc
- E. J. Peake
- E. Javier
- E. Kreindler
- E. Kreindler
- E. Kreindler
- E. Kreindler
- E. L. Gorbachuk
- E. Mendelsohn
- E. Mendelsohn
- E. Robert
- E. Robert
- E. Sernesi
- F. Borceux
- F. Borceux
- F. Bucur
- F. Carreau
- F. Chamontin
- F. Conduché
- F. E. J. Linton
- F. E. J. Linton
- F. Foltz
- F. Foltz
- F. Foltz
- F. Foltz
- F. FoLtz
- F. Foltz
- F. Foltz
- F. Foltz
- F. Foltz
- F. Ghione
- F. Oort
- F. Parodi
- F. Parodi
- F. Parodi
- F. Speranza
- F. Szasz
- F. Szasz
- F. Ulmer
- F. Ulmer
- F. Ulmer
- F. Ulmer
- F. Ulmer
- F. W. Lawvere
- G. A. Reid
- G. Almkvist
- G. B. Williams
- G. Blanc
- G. Bratti
- G. C. Wraith
- G. D. Crown
- G. Darbo
- G. Dartois
- G. E. Rivlin
- G. E. Strecker
- G. G. C?lug?reanu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Gratzer
- G. Hauger
- G. Helzer
- G. Lengagne
- G. Lengagne
- G. Lewis
- G. M. Kelly
- G. M. Kelly
- G. M. Kelly
- G. M. Kelly
- G. M. Kelly
- G. M. Kelly
- G. Maury
- G. Michon
- G. Orzech
- G. Orzech
- G. Radu
- G. Radu
- G. Radu
- G. Radu
- G. Rinehard
- G. Sorani
- G. T. Sanchez
- G. Vázquez
- G. W. McCollum
- G. Weidenfeld
- G. Weidenfeld
- G. Weidenfeld
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -B. Brinkmann
- H. -J. Hoehnke
- H. Applegate
- H. Applegate
- H. Applegate
- H. B. Stauffer
- H. B. Stauffer
- H. Herrlich
- H. Herrlich
- H. Herrlich
- H. Herrlich
- H. Herrlich
- H. Holmann
- H. Kleisli
- H. Kleisli
- H. N. Inasaridze
- H. Reichet
- H. Reichet
- H. Röhrl
- H. Schubert
- H. Schubert
- H. Schubert
- H. Schubert
- H. Volger
- H. Volger
- H. Wiesler
- H. Wolff
- Hiroshi Uehara
- I. A. Rus
- I. A. Rus
- I. Amdal
- I. Amdal
- I. Bucur
- I. Bucur
- I. Fleischer
- I. Miu
- I. O. Rokits'kii
- I. S. Pressman
- I. S. Pressman
- I. Vidav
- J. -J. Horrent
- J. -M. Maranda
- J. -M. Maranda
- J. A. Beachy
- J. Adámek
- J. Adámek
- J. Benabou
- J. Benabou
- J. Benabou
- J. Bosch
- J. C. Chipman
- J. Chacron
- J. Chacron
- J. Chacron
- J. Chacron
- J. Chacron
- J. Chacron
- J. D. Leadley
- J. E. Roberts
- J. F. Palmquist
- J. Fisher-Palmquist
- J. Giraud
- J. Giraud
- J. Gray
- J. J. Kaput
- J. Kennison
- J. Kennison
- J. Kennison
- J. Kennison
- J. Kennison
- J. Klasa
- J. Klasa
- J. L. Fisher
- J. L. Fisher
- J. L. Kelley
- J. L. MacDonald
- J. L. MacDonald
- J. L. Verdier
- J. L. Verdier
- J. L. Verdier
- J. Lambek
- J. Lambek
- J. Lambek
- J. Lambek
- J. Levy-Bruhl
- J. Levy-Bruhl
- J. Levy-Bruhl
- J. M. Howie
- J. Michalowicz
- J. Michalowicz
- J. Pavelka
- J. Penon
- J. Penon
- J. Penon
- J. Penon
- J. Perraud
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. R. Isbell
- J. Ravel
- J. Reiterman
- J. Riguet
- J. S. Johnson
- J. Schmidt
- J. Sichler
- J. Sichler
- J. Sichler
- J. Sichler
- J. Sonner
- J. Tabor
- J. V. Leahy
- J. Valderrama
- J. Valderrama
- J. Vilímovský
- J. W. Rutter
- J.-E. Roos
- J.-E. Roos
- J.-E. Roos
- J.-E. Roos
- J.-E. Roos
- J.-E. Roos
- J.-M. Cordier
- J.-P. Barthélémy
- K. A. Hardie
- K. A. Hardie
- K. Koh
- K. Lee
- K. Lellahi
- K. Stach
- K. Stöhr
- K. Yamazaki
- Kliti Morita
- Kliti Morita
- L. A. Skornyakov
- L. B?descu
- L. Coppey
- L. Coppey
- L. Coppey
- L. Coppey
- L. Coppey
- L. G. Roberts
- L. Geissinger
- L. Granjean
- L. Gruson
- L. Illusie
- L. Illusie
- L. Illusie
- L. Illusie
- L. Ku?era
- L. Ku?era
- L. Ku?era
- L. Ku?era
- L. Ku?era
- L. Michler
- L. Michler
- L. Márki
- L. Oubiña
- L. Sh. Ioffe
- Li-Ching Cheng Chern
- M. -C. Leblond
- M. -C. Leblond
- M. -F. Gouzou
- M. André
- M. Armbrust
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Barr
- M. Bognar
- M. Bognar
- M. Brânzei
- M. Brânzei
- M. Bunge
- M. Bunge
- M. Chartrelle
- M. Chartrelle
- M. Dehen
- M. Duri?
- M. F. Bokshtein
- M. F. Bokshtein
- M. Fontana
- M. Fontana
- M. Fontana
- M. Fukawa
- M. Gould
- M. Grandis
- M. Gray
- M. Gray
- M. Hacque
- M. Hacque
- M. Hasse
- M. Hasse
- M. Hasse
- M. Hasse
- M. Hu?ek
- M. Hu?ek
- M. Jurchescu
- M. Jurchescu
- M. K. Bennet
- M. Kat?tov
- M. Kühnrich
- M. L. Laplaza
- M. L. Laplaza
- M. L. Laplaza
- M. L. Laplaza
- M. L. Laplaza
- M. L. Laplaza
- M. L. Laplaza
- M. Richter
- M. S. Burgin
- M. S. Burgin
- M. S. Burgin
- M. S. Burgin
- M. S. Burgin
- M. S. Tsalenko
- M. Sabac
- M. Sagastume
- M. Sekanina
- M. Sekanina
- M. Servi
- M. Servi
- M. Servi
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Sh. Tsalenko
- M. Tierney
- M. Tierney
- M. Wischnewsky
- M. Ya. Medvedev
- M. Ya. Medvedev
- M. Ya. Medvedev
- M.-C. Chamard
- M.-P. Brameret
- Manabu Harada
- Manabu Harada
- Manabu Harada
- Manabu Harada
- Manabu Harada
- Mitsuhiro Takeuchi
- N. Bednarz
- N. Chaptal
- N. Chaptal
- N. E. Villanueva
- N. E. Villanueva
- N. E. Villanueva
- N. H. Williams
- N. Manolache
- N. Melone
- N. Popescu
- N. Popescu
- N. Popescu
- N. Popescu
- N. Popescu
- N. Popescu
- N. Popescu
- O. Ciucurel
- O. Ciucurel
- O. Ciucurel
- O. Laudal
- O. Wyler
- O. Wyler
- P. -A. Grillet
- P. -A. Grillet
- P. -A. Grillet
- P. -A. Grillet
- P. -A. Grillet
- P. -A. Grillet
- P. -F. Jurie
- P. -Y. Leduc
- P. -Y. Leduc
- P. -Y. Leduc
- P. Abellanas
- P. Antoine
- P. Antoine
- P. Antoine
- P. Arduini
- P. B. Naumann
- P. C. Kainen
- P. D. Bacsich
- P. D. Bacsich
- P. Dedecker
- P. Dedecker
- P. Dedecker
- P. Dedecker
- P. Dedecker
- P. Freyd
- P. Freyd
- P. Freyd
- P. Freyd
- P. Gabriel
- P. Gabriel
- P. Gabriel
- P. Grégoire
- P. Grégoire
- P. H. H. Fantham
- P. H. Palmquist
- P. I. Booth
- P. J. Hilton
- P. J. Hilton
- P. J. Hilton
- P. J. Hilton
- P. J. Hilton
- P. Jaffard
- P. Jaffard
- P. Jaffard
- P. Kurka
- P. Lecouturier
- P. Lecouturier
- P. Leroux
- P. Leroux
- P. Leroux
- P. Leroux
- P. Ptak
- P. Robert
- P. Robert
- P. S. Pokazeeva
- P. Variot
- P. Vincent
- P. Vincent
- P. Vincent
- P. Vámos
- Ph. Dwinger
- Ph. Dwinger
- R. Apery
- R. Balbes
- R. Bonnet
- R. Busby
- R. Davis
- R. Davis
- R. Davis
- R. Davis
- R. Davis
- R. Diaconescu
- R. Fritsch
- R. Fritsch
- R. Fritsch
- R. Goblot
- R. Goblot
- R. Guitart
- R. Guitart
- R. Guitart
- R. Guitart
- R. Guitart
- R. Guitart
- R. H. Street
- R. H. Street
- R. H. Street
- R. Kielpinski
- R. L. Graham
- R. Lavendhomme
- R. Lavendhomme
- R. Lavendhomme
- R. Lavendhomme
- R. Lavendhomme
- R. Mijoule
- R. Netzsch
- R. Nunke
- R. Paré
- R. Paré
- R. Pupier
- R. S. Cruciani
- R. S. Pierce
- R. Strecker
- R. Strecker
- R. Vidal
- R. W. Stringall
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wiegandt
- R. Wille
- R. Wille
- S. A. Basarab
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. A. Huq
- S. B. Conlon
- S. Baron
- S. Breitsprecher
- S. Chase
- S. Comorosan
- S. E. Dickson
- S. Eilenberg
- S. Fakir
- S. Fakir
- S. Fakir
- S. Fakir
- S. Fakir
- S. H. Nienhuys-Cheng
- S. Harari
- S. Harari
- S. Legrand
- S. Legrand
- S. Legrand
- S. Legrand
- S. Legrand
- S. MacLane
- S. MacLane
- S. MacLane
- S. Swierczkowski
- S. V. Muzylev
- S. V. Polin
- S. Vorster
- S. Zervos
- Sh. P. Brian
- Sheryl Shan-hwei Cheng
- T. Bröcker
- T. de W. Jooste
- T. Kambayashi
- T. Lam
- T. M. Baranovich
- T. M. Baranovich
- T. Montali
- T. Porter
- T. T. Bowman
- T. Tichý
- Tadashi Ohkuma
- Tadashi Ohkuma
- Takako Nishida
- Takashi Harase
- U. Knauer
- U. Oberst
- U. Oberst
- U. Oberst
- U. Oberst
- V. Chukanov
- V. E. C?z?nescu
- V. E. C?z?nescu
- V. E. C?z?nescu
- V. E. Govorov
- V. I. Kuz'minov
- V. Kannan
- V. Koubek
- V. Koubek
- V. Koubek
- V. N. Zyryanov
- V. Novák
- V. P. Palamodov
- V. Pohlová
- V. Pohlová
- V. Topencharov
- V. Topencharov
- V. Topencharov
- V. Topencharov
- V. Topencharov
- V. Topencharov
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. Trnková
- V. V. Kuznetsov
- V. V. Kuznetsov
- V. V. Kuznetsov
- V. V. Topencharov
- V. V. Topencharov
- V. V. Topencharov
- V. V. Topencharov
- V. V. Topencharov
- V. V. Vagner
- W. Bäni
- W. D. Neumann
- W. E. Clark
- W. Felscher
- W. Felscher
- W. Hatcher
- W. Hatcher
- W. Noll
- W. Rinow
- Y. Diers
- Y. Give'on
- Y. Give'on
- Y. Give'on
- Yasuo Kawahara
- Yasuo Kawahara
- Yasuo Kawahara
- Yasutoshi Nomura
- Yasutoshi Nomura
- Yasutoshi Nomura
- Yasutoshi Nomura
- Yasutoshi Nomura
- Yasutoshi Nomura
- Yasutoshi Nomura
- Youshin Sai
- Yu. A. Drozd
- Yu. A. Drozd
- Yu. E. Borovskii
- Yu. M. Ryabukhin
- Z. Hedrlin
- Z. Hedrlin
- Z. Hedrlin
- Z. Hedrlin
- Z. Hedrlin
- Z. Hedrlin
- Z. Hedrlin
- Z. Semadeni
- Z. Semadeni
- Zoan Kuin'
- É. G. Shutov
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
No full textAlgebraization of quantifier logics, an introductory overview
- Author
- A. Bernarducci
- A. Daigneault
- A. Daigneault
- A. Daigneault
- A. Morgan De
- A. Preller
- A. Preller
- A. Preller
- A. Preller
- A. Salibra
- A. Shafaat
- A. Simon
- A. Urquhart
- A. Wronski
- A.R. Bednarek
- B. Bir�
- B. J�nsson
- B. J�nsson
- B. J�nsson
- B. J�nsson
- B. J�nsson
- B. J�nsson
- B. J�nsson
- B.I Plotkin
- B.I. Plotkin
- B.M. Schein
- B.M. Schein
- C. Bernardi
- C. Brink
- C. Pinter
- C. Pinter
- C. Pinter
- C. Pinter
- C. Pinter
- C. Smorynski
- C. Smorynski
- C.A.R. Hoare
- C.M. Howard
- D. Demaree
- D. Pigozzi
- D. Resek
- D. Schwartz
- D. Schwartz
- D. Schwartz
- D.A. Bredikhin
- D.A. Bredikhin
- D.J. Brown
- E. Howorka
- E. Orlowska
- E. Orlowska
- E.S. Mafcir
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Georgescu
- G. Ser�ny
- G.E. Reyes
- H. Andre�
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Andr�ka
- H. Ehrig
- H. Lugowski
- H. Ono
- H. Rasiowa
- H. Rasiowa
- H. Rasiowa
- H. Volger
- H. Werner
- H. Zierer
- H.J. Keisler
- I. N�meti
- I. N�meti
- I. N�meti
- I. N�meti
- I. N�meti
- I. N�meti
- I. N�meti
- I. N�meti
- I. Sain
- I. Sain
- I.H. An�llis
- J. Bacon
- J. Barwise
- J. Cirulis
- J. Cirulis
- J. Cirulis
- J. Cirulis
- J. Czelakowski
- J. Freeman
- J. Malinowski
- J.-P. Barthelemy
- J.-P. Olivier
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.D. Monk
- J.G. Sanders
- J.L. Bell
- J.M. Font
- J.M. Font
- J.M. Font
- J.S. Johnson
- J.S. Johnson
- K. Do?en
- K.C. Ng
- L. Henkin
- L. Henkin
- L. Henkin
- L. Henkin
- L. Henkin
- L. Laita
- L. Leblanc
- L.A. Skornyakov
- L.L. Maksimova
- L.L. Maksimova
- L.L. Maksimova
- M. Ferenczi
- M. Ferenczi
- M. Hennessey
- M. Makkai
- M. Makkai
- M. Venne
- M. Venne
- N. Feldman
- N.D. Volkov
- N.D. Volkov
- N.D. Volkov
- N.D. Volkov
- P. Bernays
- P. Burmeister
- P. Zlato?
- P. Zlato?
- P.B. Ladkin
- P.M. Cohn
- P.R. Halmos
- P.R. Halmos
- P.R. Halmos
- R. Berghammer
- R. Dipert
- R. Imieli?ski
- R. Kramer
- R. Ouellet
- R.C. Lyndon
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.D. Maddux
- R.I Goldblatt
- R.I Goldblatt
- R.I. Goldblatt
- R.I. Goldblatt
- R.J. Thompson
- R.M. Solovay
- S. Burris
- S. Givant
- S. Mikul�s
- S. Shelah
- S.D. Comer
- S.D. Comer
- S.D. Comer
- S.D. Comer
- S.L. Bloom
- S.M. Rosenberg
- S.T. Kuhn
- S.T. Kuhn
- T. Gergely
- T.T. Nguyen
- Th. Lucas
- V. Goranko
- V. Goranko
- V. Topencharov
- V. Trnkov�
- V. Verd�
- V.A. Vardanyan
- W. Craig
- W. Craig
- W. Craig
- W. Rautenberg
- W.J. Blok
- W.J. Blok
- W.J. Blok
- W.J. Blok
- W.J. Blok
- W.V. Quine
- W.V. Quine
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1991
- Field of study
No full text
