Searching for just a few words should be enough to get started. If you need to make more complex queries, use the tips below to guide you.
Purchase individual online access for 1 year to this journal.
Price: EUR 410.00Impact Factor 2024: 0.4
Fundamenta Informaticae is an international journal publishing original research results in all areas of theoretical computer science. Papers are encouraged contributing:
- solutions by mathematical methods of problems emerging in computer science
- solutions of mathematical problems inspired by computer science.
Topics of interest include (but are not restricted to): theory of computing, complexity theory, algorithms and data structures, computational aspects of combinatorics and graph theory, programming language theory, theoretical aspects of programming languages, computer-aided verification, computer science logic, database theory, logic programming, automated deduction, formal languages and automata theory, concurrency and distributed computing, cryptography and security, theoretical issues in artificial intelligence, machine learning, pattern recognition, algorithmic game theory, bioinformatics and computational biology, quantum computing, probabilistic methods, & algebraic and categorical methods.
Authors: Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto
Article Type: Other
DOI: 10.3233/FI-2017-1547
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. vii-vii, 2017
Authors: Badouel, Eric | Schlachter, Uli
Article Type: Research Article
Abstract: Process discovery aims at constructing a model from a set of observations given by execution traces (a log). Petri nets are a preferred target model in that they produce a compact description of the system by exhibiting its concurrency. This article presents a process discovery algorithm using Petri net synthesis, based on the notion of region introduced by A. Ehrenfeucht and G. Rozenberg and using techniques from linear algebra. The algorithm proceeds in three successive phases which make it possible to find a compromise between the ability to infer behaviours of the system from the set of observations while ensuring …a parsimonious model, in terms of fitness, precision and simplicity. All used algorithms are incremental which means that one can modify the produced model when new observations are reported without reconstructing the model from scratch. Show more
Keywords: Region theory, Petri net synthesis, process discovery
DOI: 10.3233/FI-2017-1548
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 1-13, 2017
Authors: Barash, Mikhail | Petre, Ion
Article Type: Research Article
Abstract: Constructing large biomodels de-novo is a computationally expensive process, requiring large sets of high-quality data. An alternative approach is to construct them from smaller existing models through various operations such as union, intersection, difference, and refinement. We introduce in this paper a foundational framework for biomodel construction capturing these operations, and we discuss some of their properties.
Keywords: Biomodeling, model refinement, model union, model intersection, model difference, model complement
DOI: 10.3233/FI-2017-1549
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 15-24, 2017
Authors: Bernardinello, Luca | Ferigato, Carlo | Pomello, Lucia | Puerto Aubel, Adrián
Article Type: Research Article
Abstract: The set of elementary regions of a transition system, ordered by set inclusion, forms an orthomodular poset, also referred to as quantum logic, which is regular and rich. Starting from an abstract regular and rich quantum logic, one can construct an elementary transition system such that the orginal logic embeds into its set of regions, and which is saturated of transitions. We study the problem of selecting subsets of transitions on the same set of states, which generate the same set of regions.
DOI: 10.3233/FI-2017-1550
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 25-36, 2017
Authors: Bojańczyk, Mikołaj
Article Type: Research Article
Abstract: The following problem is shown undecidable: given regular languages L , K of finite trees, decide if there exists a deterministic tree-walking automaton which accepts all trees in L and rejects all trees in K . The proof uses a technique of Kopczyński from [1].
DOI: 10.3233/FI-2017-1551
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 37-46, 2017
Authors: Bonizzoni, Paola | Carrieri, Anna Paola | Della Vedova, Gianluca | Rizzi, Raffaella | Trucco, Gabriella
Article Type: Research Article
Abstract: The perfect phylogeny is a widely used model in phylogenetics, since it provides an effective representation of evolution of binary characters in several contexts, such as for example in haplotype inference. The model, which is conceptually the simplest among those actually used, is based on the infinite sites assumption, that is no character can mutate more than once in the whole tree. Since a large number of biological phenomena cannot be modeled by the perfect phylogeny, it becomes important to find generalizations that retain the computational tractability of the original model, but are more flexible in modeling biological data when …the infinite site assumption is violated, e.g. because of back mutations. In this paper, we introduce a new model—called species-driven persistent phylogeny—and we study the relations between three different formulations: perfect phylogeny, persistent phylogeny, galled trees, and species-driven persistent phylogeny. The species-driven persistent phylogeny model is intermediate between the perfect and the persistent phylogeny, since a perfect phylogeny allows no back mutations and a persistent phylogeny allows each character to back mutate only once. We describe an algorithm to compute a species-driven persistent phylogeny and we prove that every matrix admitting a galled-tree also admits a species-driven persistent phylogeny. Show more
Keywords: perfect phylogeny, persistent perfect phylogeny, galled-tree
DOI: 10.3233/FI-2017-1552
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 47-63, 2017
Authors: Cassaigne, Julien | Karhumäki, Juhani | Puzynina, Svetlana | Whiteland, Markus A.
Article Type: Research Article
Abstract: Two words u and v are said to be k -abelian equivalent if, for each word x of length at most k , the number of occurrences of x as a factor of u is the same as for v . We study some combinatorial properties of k -abelian equivalence classes. Our starting point is a characterization of k -abelian equivalence by rewriting, so-called k -switching. Using this characterization we show that, over any fixed alphabet, the language of lexicographically least representatives of k -abelian equivalence classes is a regular language. From this we infer …that the sequence of the numbers of equivalence classes is ℕ-rational. Furthermore, we show that the above sequence is asymptotically equal to a certain polynomial depending on k and the alphabet size. Show more
Keywords: k-abelian equivalence, Regular languages, Rational sequences
DOI: 10.3233/FI-2017-1553
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 65-94, 2017
Authors: Dutta, Soma | Jankowski, Andrzej | Skowron, Andrzej
Article Type: Research Article
Abstract: We present an extension of logical structures, called interactive logical structures, for reasoning about interactive computations performed by Intelligent Systems or Complex Adaptive Systems. Reasoning based on such structures is called adaptive judgment and it goes beyond deduction, induction, and abduction. An extension of logical structures, based on complex granules, couples the abstract world and the physical world of an agent’s environment, and transmits the features of interactions of physical objects realized in the physical world to the abstract world. This allows us to consider the problems of perception and action.
Keywords: complex granule, granular computing, information granule, interaction, (control of) interactive computations, (closed, open) logical structure, physical object, rough set
DOI: 10.3233/FI-2017-1554
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 95-108, 2017
Authors: Gabow, Harold N.
Article Type: Research Article
Abstract: Several papers have achieved time O n m for cardinality matching, starting from first principles. This results in a long derivation. We simplify the task by employing well-known concepts for maximum weight matching. We use Edmonds’ algorithm to derive the structure of shortest augmenting paths. We extend this to a complete algorithm for maximum cardinality matching in time O n m .
DOI: 10.3233/FI-2017-1555
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 109-130, 2017
Authors: Genova, Daniela | Hoogeboom, Hendrik Jan
Article Type: Research Article
Abstract: We investigate regular languages in the context of the forbidding-enforcing systems introduced by Ehrenfeucht and Rozenberg in the variant where one fe-system defines a single language. In general, these systems may have infinite sets of rules, allowing one to define arbitrary languages. On the other hand when restricted to finite sets, one obtains a strict subclass of the regular languages, between the strictly locally testable and locally testable languages. We further investigate classes of enforcing systems that characterize the regular languages. These systems have infinite sets of enforcers, but can be defined using regular languages (finite state automata).
Keywords: forbidding-enforcing systems, regular languages, (strictly) locally testable, natural computing, biomolecular computing
DOI: 10.3233/FI-2017-1556
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 131-144, 2017
Authors: Gorrieri, Roberto
Article Type: Research Article
Abstract: CCS(h ,k ) is the CCS subcalculus which can use at most h constants and k actions. We show that CCS(25,12) is Turing-complete by simulating Neary and Woods’ universal Turing machine with 15 states and 2 symbols.
Keywords: Process Algebra, CCS, Universal Turing Machine
DOI: 10.3233/FI-2017-1557
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 145-166, 2017
Authors: Halava, Vesa | Harju, Tero | Sahla, Esa
Article Type: Research Article
Abstract: We give a new simplified proof for undecidability of the Bi-Infinite Post Correspondence Problem (ℤPCP). We reduce the special case of the word problem of semi-Thue systems to ℤPCP.
DOI: 10.3233/FI-2017-1558
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 167-176, 2017
Authors: Halava, Vesa | Matiyasevich, Yuri | Niskanen, Reino
Article Type: Research Article
Abstract: The termination problem for semi-Thue systems asks whether all derivations for a given word in a given semi-Thue system are finite, i.e., all derivations terminate after finite number of steps. This problem is known to be undecidable, there is a standard reduction of the halting problem of the Turing machines into termination problem; moreover, one can fix a semi-Thue system and still have the undecidability. In 1996 Sénizergues and the second author gave a construction for a 3-rule semi-Thue system with undecidable termination problem. However, in their construction the words of one of the rules are very long. Using …some ideas of Tseijtin we give a construction for a semi-Thue system with low number of short rules having undecidable termination problem. Namely, we construct a semi-Thue system with 24 rules over 8 letter alphabet with rule words of length at most 5, and the termination problem for this semi-Thue system is undecidable. Moreover, this system is universal, that is, it can simulate any semi-Thue system. Show more
Keywords: semi-Thue system, termination problem, undecidability, universal semi-Thue system
DOI: 10.3233/FI-2017-1559
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 177-184, 2017
Authors: Han, Yo-Sub | Ko, Sang-Ki | Salomaa, Kai
Article Type: Research Article
Abstract: We give an optimized construction of a tree automaton recognizing the k -parallel, k ≥ 1, tree concatenation of two regular tree languages. For tree automata with m and n states, respectively, the construction yields an upper bound ( m + 1 2 ) ( n + 1 ) ⋅ 2 n k − 1 for the state complexity of k -parallel tree concatenation. We give a matching lower bound in the case k = 2. We conjecture that the upper bound is tight for all values of k . …We also consider the special case where one of the tree languages is the set of all ranked trees and in this case establish a different tight state complexity bound for all values of k . Show more
Keywords: tree automata, state complexity, regular tree languages, tree concatenation
DOI: 10.3233/FI-2017-1560
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 185-199, 2017
Authors: Honkala, Juha
Article Type: Research Article
Abstract: We study D0L sequences and their equality sets. If s = (s (n ))n ≥0 and t = (t (n ))n ≥0 are D0L sequences, their equality set is defined by E (s , t ) = {n ≥ 0 | s (n ) = t (n )}. It is an open problem whether such equality sets are always eventually periodic. Using methods developed by Ehrenfeucht and Rozenberg we show that a D0L equality set is eventually periodic if it contains at least one infinite arithmetic progression. As a main tool we use elementary morphisms …introduced by Ehrenfeucht and Rozenberg. Show more
Keywords: D0L system, elementary morphism, D0L equality set, eventual periodicity
DOI: 10.3233/FI-2017-1561
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 201-206, 2017
Authors: Janicki, Ryszard | Kleijn, Jetty | Koutny, Maciej | Mikulski, Łukasz
Article Type: Research Article
Abstract: A step trace is an equivalence class of step sequences, where the equivalence is determined by dependencies between pairs of actions expressed as potential simultaneity and sequentialisability. Step traces can be represented by invariant structures with two relations: mutual exclusion and (possibly cyclic) weak causality. An important issue concerning invariant structures is to decide whether an invariant structure represents a step trace over a given step alphabet. For the general case this problem has been solved and an effective decision procedure has been proposed. In this paper, we restrict the class of order structures being considered with the aim of …achieving a better characterisation. Requiring that the weak causality relation is acyclic, makes it possible to solve the problem in a purely local way, by considering pairs of events, rather than whole structures. Show more
Keywords: step trace, step alphabet, dependence structure, order structure, invariant structure, simultaneity, sequentialisability, interleaving, mutual exclusion, weak causality, acyclicity
DOI: 10.3233/FI-2017-1562
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 207-224, 2017
Authors: Jonoska, Nataša | Nabergall, Lukas | Saito, Masahico
Article Type: Research Article
Abstract: We initiate studies of patterns in words that appear as subwords (not necessarily factors) of words. A pattern is a string of variables, and we say that a pattern appears in a word if each variable can be morphically mapped to a factor in the word. We define pattern indices and distances between two words relative to a given set of patterns. The distance is defined as the minimal number of ‘pattern reductions’ that transfer one word into another. Motivated by patterns detected in certain scrambled ciliate genomes, we focus on double occurrence words (words where every symbol appears twice) …and patterns in those words. Specifically, we show that in double occurrence words the distance relative to patterns αα (repeat words) and αα R (return words) is computable. We also compare some pattern indices of highly scrambled genes in O. trifallax relative to random sequences. Show more
Keywords: Patterns in words, pattern distance, double occurrence words, indices, scrambled genome
DOI: 10.3233/FI-2017-1563
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 225-238, 2017
Authors: Kari, Lila | Simjour, Amirhossein
Article Type: Research Article
Abstract: We propose the concept of self-assembly of smart tiles, i.e., tiles which possess a local computational device in addition to having edge glues that can be activated or deactivated by signals. The local tile computational device can range from its being absent, to being a counter, a simple look-up table, a finite state machine, all the way to being a Turing machine. Thus, this model offers a general framework to discuss and compare various tile self-assembly systems. We demonstrate the potential of self-assembly with smart tiles to efficiently perform robotic tasks such as the replication of convex shapes. The smart …tile assembly system that we propose for convex shape replication does not make any assumption on the glues and signals of the interior tiles of the input supertile, and uses a scaffold to assemble a replica adjacent to the input supertile. Show more
Keywords: DNA Self-Assembly Systems, Signal Tile Assembly Model, Smart Tiles, Robotics
DOI: 10.3233/FI-2017-1564
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 239-260, 2017
Authors: Leporati, Alberto | Manzoni, Luca | Mauri, Giancarlo | Porreca, Antonio E. | Zandron, Claudio
Article Type: Research Article
Abstract: Traditionally, P systems allow their membranes or cells to grow exponentially (or even more) in volume with respect to the size of the multiset of objects they contain in the initial configuration. This behaviour is, in general, biologically unrealistic, since large cells tend to divide in order to maintain a suitably large surface-area-to-volume ratio. On the other hand, it is usually the number of cells that needs to grow exponentially with time by binary division in order to solve NP -complete problems in polynomial time. In this paper we investigate families of tissue P systems with …cell division where each cell has a small volume (i.e., sub-polynomial with respect to the input size), assuming that each bit of information contained in the cell, including both those needed to represent the multiset of objects and the cell label, occupies a unit of volume. We show that even a constant volume bound allows us to reach computational universality for families of tissue P systems with cell division, if we employ an exponential-time uniformity condition on the families. Furthermore, we also show that a sub-polynomial volume does not suffice to solve NP -complete problems in polynomial time, unless the satisfiability problem for Boolean formulae can be solved in sub-exponential time, and that solving an NP -complete problem in polynomial time with logarithmic cell volume implies P = NP . Show more
Keywords: Membrane computing, tissue P systems, computability, space complexity
DOI: 10.3233/FI-2017-1565
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 261-275, 2017
Authors: Mantaci, Sabrina | Restivo, Antonio | Rosone, Giovanna | Russo, Floriana | Sciortino, Marinella
Article Type: Research Article
Abstract: The Burrows-Wheeler Transform is a well known transformation widely used in Data Compression: important competitive compression software, such as Bzip (cf. [1]) and Szip (cf. [2]) and some indexing software, like the FM-index (cf. [3]), are deeply based on the Burrows Wheeler Transform. The main advantage of using BWT for data compression consists in its feature of “clustering” together equal characters. In this paper we show the existence of fixed points of BWT, i.e., words on which BWT has no effect. We show a characterization of the permutations associated to BWT of fixed points and we give the explicit form …of fixed points on a binary ordered alphabet {a , b } having at most four b ’s and those having at most four a ’s. Show more
Keywords: Burrows-Wheeler Transform, Permutations, Fixed Points
DOI: 10.3233/FI-2017-1566
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 277-288, 2017
Authors: Męski, Artur | Koutny, Maciej | Penczek, Wojciech
Article Type: Research Article
Abstract: Reaction systems are a formal model for computational processes inspired by the functioning of the living cell. This paper introduces reaction systems with discrete concentrations, which are an extension of reaction systems allowing for quantitative modelling. We demonstrate that although reaction systems with discrete concentrations are semantically equivalent to the original qualitative reaction systems, they provide much more succinct representations in terms of the number of entities being used. We define a variant of Linear Time Temporal Logic interpreted over models of reaction systems with discrete concentrations. We provide its suitable encoding in SMT, together with bounded model checking, and …present experimental results demonstrating the scalability of the verification method for reaction systems with discrete concentrations. Show more
Keywords: reaction systems, bounded model checking, linear time temporal logic
DOI: 10.3233/FI-2017-1567
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 289-306, 2017
Authors: Nobile, Marco S. | Porreca, Antonio E. | Spolaor, Simone | Manzoni, Luca | Cazzaniga, Paolo | Mauri, Giancarlo | Besozzi, Daniela
Article Type: Research Article
Abstract: Reaction systems represent a theoretical framework based on the regulation mechanisms of facilitation and inhibition of biochemical reactions. The dynamic process defined by a reaction system is typically derived by hand, starting from the set of reactions and a given context sequence. However, this procedure may be error-prone and time-consuming, especially when the size of the reaction system increases. Here we present HERESY, a simulator of reaction systems accelerated on Graphics Processing Units (GPUs). HERESY is based on a fine-grained parallelization strategy, whereby all reactions are simultaneously executed on the GPU, therefore reducing the overall running time of the simulation. …HERESY is particularly advantageous for the simulation of large-scale reaction systems, consisting of hundreds or thousands of reactions. By considering as test case some reaction systems with an increasing number of reactions and entities, as well as an increasing number of entities per reaction, we show that HERESY allows up to 29× speed-up with respect to a CPU-based simulator of reaction systems. Finally, we provide some directions for the optimization of HERESY, considering minimal reaction systems in normal form. Show more
Keywords: reaction systems, general-purpose GPU computing, high-performance computing, simulation
DOI: 10.3233/FI-2017-1568
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 307-321, 2017
Authors: Okubo, Fumiya | Yokomori, Takashi
Article Type: Research Article
Abstract: New morphic characterizations in the form of a noted Chomsky-Schützenberger theorem are established for the classes of regular languages, of context-free languages and of languages accepted by chemical reaction automata. Our results include the following: (i) Each λ-free regular language R can be expressed as R = h (Tk ∩ FR ) for some 2-star language FR , an extended 2-star language Tk and a weak coding h . (ii) Each λ-free context-free language L can be expressed as L = h (Dn ∩ FL …) for some 2-local language FL and a projection h . (iii) A language L is accepted by a chemical reaction automaton iff there exist a 2-local language FL and a weak coding h such that L = h (Bn ∩ FL ), where Dn and Bn are a Dyck set and a partially balanced language defined over the n -letter alphabet, respectively. These characterizations improve or shed new light on the previous results. Show more
Keywords: Regular languages, Context-free languages, Chemical reaction automata, Morphic characterizations, Star languages, Local languages
DOI: 10.3233/FI-2017-1569
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 323-341, 2017
Authors: Polkowski, Lech T.
Article Type: Research Article
Abstract: This work is dedicated to Profesor Andrzej Ehrenfeucht, the eleve of the Warsaw School of Logic and Mathematics on the occasion of His 85th Birthday. We propose to exploit certain of the milestone ideas created by this School and to apply them to data analysis in the framework of the rough set theory proposed by Professor Zdzisław Pawlak. To wit, we apply the idea of fractional truth states due to Jan Łukasiewicz, mereology created by Stanisław Leśniewski and the betweenness relation used by Alfred Tarski as one of primitive predicates in His axiomatization of Euclidean geometry. These ideas applied in …problems of approximate reasoning permit us to formalize calculus of granules of knowledge and use it in preprocessing of data before applying a classification algorithm. Introduction of a mereological version of betweenness relation to data allows for partitioning of data into the kernel and the residuum, both sub-data sets providing a faithful representation of the whole data set and reducing the size of data without any essential loss of accuracy of classification. In the process of algorithmic construction of the partition of data into the kernel and the residuum, we exploit the Dual Indiscernibility Matrix which further allows us to introduce notions of a pair classifier and, more generally, k -classifier yet to be studied. Show more
Keywords: truth values, mereology, betweenness relation, rough sets, shuffled simplices, dual indiscernibility matrix, kernel, residuum, pair classifier
DOI: 10.3233/FI-2017-1570
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 343-358, 2017
Authors: Rogers, Trent A. | Seki, Shinnosuke
Article Type: Research Article
Abstract: RNA sequences start folding immediately as they are synthesized by RNA polymerase (cotranscriptional folding). The oritatami system (OS) is a novel mathematical model to study computational aspects of cotranscriptional folding. In this paper, we first provide a survey throughout existing research topics and results on oritatami systems and offer research directions of significance. Simulation of an oritatami system in a different ratio (delay) of transcription speed to the speed of folding is one of them. We will introduce a simple notion of simulation, and prove that there is an OS of delay δ that cannot be simulated by any …oritatami system at larger delay. Show more
Keywords: Oritatami system, RNA cotranscriptional folding, Molecular self-assembly, Turing universality, Simulation
DOI: 10.3233/FI-2017-1571
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 359-372, 2017
Authors: Valencia-Cabrera, Luis | Orellana-Martín, David | Martínez-del-Amor, Miguel A. | Riscos-Núñez, Agustín | Pérez-Jiménez, Mario J.
Article Type: Research Article
Abstract: Membrane computing is a computing paradigm providing a class of distributed parallel computing devices of a biochemical type whose process units represent biological membranes. In the cell-like basic model, a hierarchical membrane structure formally described by a rooted tree is considered. It is well known that families of such systems where the number of membranes can only decrease during a computation (for instance by dissolving membranes), can only solve in polynomial time problems in class P . P systems with active membranes is a variant where membranes play a central role in their dynamics. In the seminal version, membranes …have an electrical polarization (positive, negative, or neutral) associated in any instant, and besides being dissolved, they can also replicate by using division rules. These systems are computationally universal, that is, equivalent in power to deterministic Turing machines, and computationally efficient, that is, able to solve computationally hard problems in polynomial time. If polarizations in membranes are removed and dissolution rules are forbidden, then only problems in class P can be solved in polynomial time by these systems (even in the case when division rules for non-elementary membranes are permitted). In that framework it has been shown that by considering minimal cooperation (left-hand side of such rules consists of at most two symbols) and minimal production (only one object is produced by the application of such rules) in object evolution rules, such systems provide efficient solutions to NP -complete problems. In this paper, minimal cooperation and minimal production in communication rules instead of object evolution rules is studied, and the computational efficiency of these systems is obtained in the case where division rules for non-elementary membranes are permitted. Show more
Keywords: Membrane Computing, polarizationless P systems with active membranes, cooperative rules, the P versus NP problem, SAT problem
DOI: 10.3233/FI-2017-1572
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 373-385, 2017
Article Type: Other
Citation: Fundamenta Informaticae, vol. 154, no. 1-4, pp. 387-388, 2017
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
USA
Tel: +1 703 830 6300
Fax: +1 703 830 2300
sales@iospress.com
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
IOS Press
Nieuwe Hemweg 6B
1013 BG Amsterdam
The Netherlands
Tel: +31 20 688 3355
Fax: +31 20 687 0091
info@iospress.nl
For editorial issues, permissions, book requests, submissions and proceedings, contact the Amsterdam office info@iospress.nl
Inspirees International (China Office)
Ciyunsi Beili 207(CapitaLand), Bld 1, 7-901
100025, Beijing
China
Free service line: 400 661 8717
Fax: +86 10 8446 7947
china@iospress.cn
For editorial issues, like the status of your submitted paper or proposals, write to editorial@iospress.nl
如果您在出版方面需要帮助或有任何建, 件至: editorial@iospress.nl