eLibrary of Mathematical Instituteof the Serbian Academy of Sciences and Arts

AboutBrowse eLibrary

> Home / All Journals / Journal /

FilomatPublisher: Faculty of Sciences and Mathematics, NišISSN: 0354-5180Issue: 9_3Date: 1995Journal Homepage Editorial BoardImpressum   Еще о проблеме включения регулярных и линейных языков в групповые языки 699 - 710 Красимир Янков Йорджев   Theory of multiple antisymmetry 711 - 721 Slavik V. Jablan   Abstract Euclid - the geometry theorems prover 723 - 732 Predrag Janičić and Stevan Kordić   Automatic theorem proving in field theory using quantifier elimination 733 - 742 Aleksandar Jovanović and Žarko Mijajlović   Abstract О задаче синтеза для автоматов в одном классе лабиринтов 743 - 751 Г. Килибарда and Ш. Ушчумлич   Abstract Discrete methods for visualizing fractal sets 753 - 764 Ljubiša M. Kocić   Abstract Identity, permutation and binary trees 765 - 781 Aleksandar Kron   Abstract Автоматы и лабиринты 783 - 802 В. Б. Кудрявцев, Ш. Ушчумлич and Г. Килибарда   Abstract Omitting types in Kripke models 803 - 807 Zoran Marković   Abstract A classification of loops on at most six elements 809 - 822 Snežana Matić-Kekić and Dragan M. Acketa   Abstract Article page: <<12345>>

Issue 12 of 228Previous IssueNext Issue Articles 21 - 30 of 47Previous pageNext page Quick Search within Title/Keywords within Authors within MSC

Remote Address: 52.15.185.147 • Server: elib.mi.sanu.ac.rsHTTP User Agent: Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)