for Journals by Title or ISSN for Articles by Keywords help
 Subjects -> MATHEMATICS (Total: 1021 journals)     - APPLIED MATHEMATICS (83 journals)    - GEOMETRY AND TOPOLOGY (21 journals)    - MATHEMATICS (757 journals)    - MATHEMATICS (GENERAL) (43 journals)    - NUMERICAL ANALYSIS (22 journals)    - PROBABILITIES AND MATH STATISTICS (95 journals) MATHEMATICS (757 journals)            First | 1 2 3 4
 Showing 401 - 538 of 538 Journals sorted alphabetically Journal of K-Theory Journal of Knot Theory and Its Ramifications       (Followers: 1) Journal of Kufa for Mathematics and Computer       (Followers: 1) Journal of Liquid Chromatography & Related Technologies       (Followers: 7) Journal of Logical and Algebraic Methods in Programming Journal of Manufacturing Systems       (Followers: 4) Journal of Mathematical Analysis and Applications       (Followers: 3) Journal of mathematical and computational science       (Followers: 7) Journal of Mathematical and Fundamental Sciences Journal of Mathematical Behavior       (Followers: 2) Journal of Mathematical Chemistry       (Followers: 3) Journal of Mathematical Cryptology       (Followers: 1) Journal of Mathematical Extension       (Followers: 3) Journal of Mathematical Finance       (Followers: 7) Journal of Mathematical Imaging and Vision       (Followers: 6) Journal of Mathematical Logic       (Followers: 2) Journal of Mathematical Modelling and Algorithms       (Followers: 1) Journal of Mathematical Neuroscience       (Followers: 9) Journal of Mathematical Sciences Journal of Mathematical Sciences and Applications       (Followers: 2) Journal of Mathematical Sociology       (Followers: 3) Journal of Mathematics Journal of Mathematics and Statistics       (Followers: 8) Journal of Mathematics and the Arts       (Followers: 2) Journal of Mathematics in Industry Journal of Mathematics Research       (Followers: 6) Journal of Metallurgy       (Followers: 7) Journal of Modern Mathematics Frontier Journal of Multidisciplinary Modeling and Optimization Journal of Multivariate Analysis       (Followers: 13) Journal of Natural Sciences and Mathematics Research Journal of Nonlinear Analysis and Optimization : Theory & Applications       (Followers: 4) Journal of Nonlinear Mathematical Physics       (Followers: 1) Journal of Nonlinear Science Journal of Numerical Cognition Journal of Numerical Mathematics       (Followers: 2) Journal of Optimization       (Followers: 4) Journal of Problem Solving       (Followers: 2) Journal of Progressive Research in Mathematics Journal of Pseudo-Differential Operators and Applications Journal of Pure and Applied Algebra       (Followers: 4) Journal of Quantitative Analysis in Sports       (Followers: 8) Journal of Quantitative Linguistics       (Followers: 6) Journal of Scientific Computing       (Followers: 18) Journal of Scientific Research Journal of Symbolic Computation       (Followers: 1) Journal of the Australian Mathematical Society Journal of the Egyptian Mathematical Society Journal of the European Mathematical Society Journal of the Indian Mathematical Society       (Followers: 1) Journal of the Institute of Mathematics of Jussieu Journal of the London Mathematical Society       (Followers: 2) Journal of the Nigerian Mathematical Society       (Followers: 1) Journal of Theoretical and Applied Physics       (Followers: 8) Journal of Topology and Analysis Journal of Transport and Supply Chain Management       (Followers: 14) Journal of Turbulence       (Followers: 7) Journal of Uncertainty Analysis and Applications Journal of Universal Mathematics Journal of Urban Regeneration & Renewal       (Followers: 10) Journal of Water and Land Development       (Followers: 3) JRAMathEdu : Journal of Research and Advances in Mathematics Education       (Followers: 3) JURING (Journal for Research in Mathematics Learning)       (Followers: 1) Jurnal Ilmiah AdMathEdu Jurnal Matematika       (Followers: 1) Jurnal Matematika Integratif Jurnal Matematika, Sains, Dan Teknologi Jurnal Natural Jurnal Pendidikan Matematika Raflesia Jurnal Penelitian Pembelajaran Matematika Sekolah Jurnal Penelitian Sains (JPS) Jurnal Riset Pendidikan Matematika Jurnal Sains Matematika dan Statistika Jurnal Tadris Matematika Jurnal Teknologi dan Sistem Komputer Kreano, Jurnal Matematika Kreatif-Inovatif       (Followers: 5) Le Matematiche Learning and Teaching Mathematics       (Followers: 7) Lettera Matematica Limits : Journal of Mathematics and Its Applications       (Followers: 1) Linear Algebra and its Applications       (Followers: 18) Linear and Multilinear Algebra       (Followers: 8) Lithuanian Mathematical Journal LMS Journal of Computation and Mathematics Lobachevskii Journal of Mathematics Logic and Analysis Logic Journal of the IGPL Logica Universalis manuscripta mathematica MaPan : Jurnal Matematika dan Pembelajaran Marine Genomics       (Followers: 2) Matemáticas, Educación y Sociedad Matematicheskie Zametki Matematika Matematychni Studii Mathematica Eterna Mathematica Scandinavica       (Followers: 1) Mathematica Slovaca       (Followers: 1) Mathematical and Computational Forestry & Natural-Resource Sciences Mathematical Communications Mathematical Computation       (Followers: 1) Mathematical Geosciences       (Followers: 3) Mathematical Medicine and Biology: A Journal of the IMA       (Followers: 1) Mathematical Methods in the Applied Sciences       (Followers: 3) Mathematical Methods of Statistics       (Followers: 4) Mathematical Modelling and Analysis       (Followers: 1) Mathematical Modelling in Civil Engineering       (Followers: 5) Mathematical Modelling of Natural Phenomena       (Followers: 1) Mathematical Models and Methods in Applied Sciences       (Followers: 2) Mathematical Notes Mathematical Proceedings of the Cambridge Philosophical Society       (Followers: 1) Mathematical Programming Computation       (Followers: 3) Mathematical Sciences Mathematical Social Sciences       (Followers: 1) Mathematical Theory and Modeling       (Followers: 13) Mathematical Thinking and Learning       (Followers: 3) Mathematics and Statistics       (Followers: 5) Mathematics Education Journal       (Followers: 1) Mathematics Education Research Journal       (Followers: 17) Mathematics in Science and Engineering Mathematics of Control, Signals, and Systems (MCSS)       (Followers: 4) Mathematics of Quantum and Nano Technologies Mathématiques et sciences humaines       (Followers: 7) Mathematische Annalen       (Followers: 1) Mathematische Nachrichten       (Followers: 1) Mathematische Semesterberichte Mathematische Zeitschrift       (Followers: 1) MATI : Mathematical Aspects of Topological Indeces MATICS       (Followers: 1) Matrix Science Mathematic Measurement Science Review       (Followers: 3) Mediterranean Journal of Mathematics Memetic Computing Mendel : Soft Computing Journal Metals and Materials International Metascience       (Followers: 1) Milan Journal of Mathematics Mitteilungen der DMV MLQ- Mathematical Logic Quarterly Monatshefte fur Mathematik Moroccan Journal of Pure and Applied Analysis       (Followers: 4) Moscow University Mathematics Bulletin MSOR Connections       (Followers: 1) Multiscale Modeling and Simulation       (Followers: 3) MUST : Journal of Mathematics Education, Science and Technology       (Followers: 1) Nagoya Mathematical Journal Nano Research       (Followers: 3) Nanotechnologies in Russia       (Followers: 1) Natural Resource Modeling New Mathematics and Natural Computation Nonlinear Analysis : Modelling and Control Nonlinear Analysis : Theory, Methods & Applications       (Followers: 1) Nonlinear Analysis: Hybrid Systems Nonlinear Analysis: Real World Applications       (Followers: 2) Nonlinear Differential Equations and Applications NoDEA Nonlinear Engineering Nonlinear Oscillations       (Followers: 1) North Carolina Journal of Mathematics and Statistics North-Holland Mathematical Library       (Followers: 1) North-Holland Mathematics Studies North-Holland Series in Applied Mathematics and Mechanics       (Followers: 1) Note di Matematica NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin       (Followers: 4) Numeracy : Advancing Education in Quantitative Literacy Numerical Analysis and Applications       (Followers: 1) Numerical Functional Analysis and Optimization       (Followers: 2) Numerical Linear Algebra with Applications       (Followers: 4) Numerical Mathematics : Theory, Methods and Applications Numerische Mathematik Open Journal of Discrete Mathematics       (Followers: 5) Open Journal of Modelling and Simulation       (Followers: 1) Open Mathematics       (Followers: 1) Operations Research Letters       (Followers: 11) Optimization Letters       (Followers: 2) Optimization Methods and Software       (Followers: 7) Opuscula Mathematica       (Followers: 108) Order ORiON P-Adic Numbers, Ultrametric Analysis, and Applications PAMM : Proceedings in Applied Mathematics and Mechanics       (Followers: 1) Parallel Processing Letters       (Followers: 3) Periodica Mathematica Hungarica       (Followers: 1) Perspectivas da Educação Matemática Petroleum Science       (Followers: 1) Philosophia Mathematica       (Followers: 1) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences       (Followers: 6) PNA. Revista de Investigación en Didáctica de la Matemática Polar Science       (Followers: 3) Positivity Prague Bulletin of Mathematical Linguistics, The Press Start Prime Number PRIMS Probability in the Engineering and Informational Sciences       (Followers: 1) Problemy Peredachi Informatsii Proceedings - Mathematical Sciences       (Followers: 5) Proceedings of the American Mathematical Society, Series B       (Followers: 1) Proceedings of the Edinburgh Mathematical Society Proceedings of the Institution of Civil Engineers - Engineering and Computational Mechanics       (Followers: 2) Proceedings of the Latvian Academy of Sciences. Section B: Natural, Exact and Applied Sciences

First | 1 2 3 4

Similar Journals
 Logica UniversalisJournal Prestige (SJR): 0.323 Citation Impact (citeScore): 1Number of Followers: 0      Hybrid journal (It can contain Open Access articles) ISSN (Print) 1661-8300 - ISSN (Online) 1661-8297 Published by Springer-Verlag  [2351 journals]
• Logical Consequence in Avicenna’s Theory
• Abstract: In this paper I examine Avicenna’s conception of the consequence relation. I will consider in particular his categorical and hypothetical logics. I will first analyse his definition of the implication and will show that this relation is not a consequence relation in his frame. Unlike the medieval logicians, he does not distinguish explicitly between material and formal consequences. The arguments discussed in al-Qiyās, where the conclusion is true only in some matters, and would seem close to a material consequence for that reason, are rejected explicitly as not syllogistic. He also rejects the ‘enthymemes’ unless they are complemented by their missing premise and the superfluous premises which, according to him, should promptly be ruled out. It seems then that the consequence relation in his theory is formal. It can be characterized as being ‘productivity in all matters’ or ‘necessary truth preserving’. It is illustrated by some (but not all) single premise arguments, and above all by all kinds of syllogisms which, in his theory, are more numerous and various than in Aristotle’s one. The syllogism may contain two or more premises, including disjunctive ones. When it is hypothetical, it may lead to several conclusions. The premises may be in conflict, but then, the conclusion is false. He thus rejects the principle according to which ‘anything follows from a contradiction’. But, unlike what some scholars say, he does not admit any connexive principle. In the compound syllogisms, the conclusion follows by steps, each step taking two premises at once.
PubDate: 2019-03-01

• Structural Rules for Multi-valued Logics
• Abstract: We study structural rules in the context of multi-valued logics with finitely-many truth-values. We first extend Gentzen’s traditional structural rules to a multi-valued logic context; in addition, we propos some novel structural rules, fitting only multi-valued logics. Then, we propose a novel definition, namely, structural rules completeness of a collection of structural rules, requiring derivability of the restriction of consequence to atomic formulas by structural rules only. The restriction to atomic formulas relieves the need to concern logical rules in the derivation.
PubDate: 2019-03-01

• 1st World Logic Day: 14 January 2019
• Abstract: We assess the celebration of the 1st World Logic Day which recently took place all over the world. We then answer the question Why a World Logic Day' in two steps. First we explain why promoting logic, emphasizing its fundamental importance and its relations with many other fields. Secondly we examine the sense of a one-day celebration: how this can help reinforcing logic day-to-day and why logic deserves it. We make a comparison with other existing one-day celebrations. We end by presenting and commenting the logo of the World Logic Day.
PubDate: 2019-03-01

• Duality Results for (Co)Residuated Lattices
• Abstract: We present dualities (discrete duality, duality via truth and Stone duality) for implicative and (co)residuated lattices. In combination with our recent article on a discrete duality for lattices with unary modal operators, the present article contributes in filling in a gap in the development of Orłowska and Rewitzky’s research program of discrete dualities, which seemed to have stumbled on the case of non-distributive lattices with operators. We discuss dualities via truth, which are essential in relating the non-distributive logic of two-sorted frames with their sorted, residuated modal logic, as well as full Stone duality for (co)residuated lattices. Our results have immediate applications to the semantics of related substructural (resource consious) logical calculi.
PubDate: 2019-03-01

• Gentzen-Type Sequent Calculi for Extended Belnap–Dunn Logics with
Classical Negation: A General Framework
• Abstract: Gentzen-type sequent calculi GBD+, GBDe, GBD1, and GBD2 are respectively introduced for De and Omori’s axiomatic extensions BD+, BDe, BD1, and BD2 of Belnap–Dunn logic by adding classical negation. These calculi are constructed based on a small modification of the original characteristic axiom scheme for negated implication. Theorems for syntactically and semantically embedding these calculi into a Gentzen-type sequent calculus LK for classical logic are proved. The cut-elimination, decidability, and completeness theorems for these calculi are obtained using these embedding theorems. Similar results excluding cut-elimination results are also obtained for alternative Gentzen-type sequent calculi gBD+, gBDe, gBD1, and gBD2 for BD+, BDe, BD1, and BD2, respectively. These alternative calculi are constructed based on the original characteristic axiom scheme for negated implication.
PubDate: 2019-03-01

• A Bunch of Diagrammatic Methods for Syllogistic
• Abstract: This paper presents, assesses, and compares six diagrammatic methods for Categorical Syllogistic. Venn’s Method is widely used in logic textbooks; Carroll’s Method is a topologically indistinguishable version of Venn’s Method; and the four remaining methods are my own: the Dual of Carroll’s Method, Gardner’s Method, Gardner–Peirce’s Method, and Ladd’s Method. These methods are divided into two groups of three and the reasons for switching from a method to another within each group are discussed. Finally, a comparison between the Dual of Carroll’s Method and Ladd’s Method supports the main result of the paper, which is an approximation of the two groups of methods.
PubDate: 2019-03-01

• Positive Amalgamation
• Abstract: We study the amalgamation property in positive logic, where we shed light on some connections between the amalgamation property, Robinson theories, model-complete theories and the Hausdorff property.
PubDate: 2018-11-29

• Dualities for Płonka Sums
• Abstract: Płonka sums consist of an algebraic construction similar, in some sense, to direct limits, which allows to represent classes of algebras defined by means of regular identities (namely those equations where the same set of variables appears on both sides). Recently, Płonka sums have been connected to logic, as they provide algebraic semantics to logics obtained by imposing a syntactic filter to given logics. In this paper, I present a very general topological duality for classes of algebras admitting a Płonka sum representation in terms of dualisable algebras.
PubDate: 2018-11-01

• Abstract Logical Constants
• Abstract: A possibility of defining logical constants within abstract logical frameworks is discussed, in relation to abstract definition of logical consequence. We propose using duals as a general method of applying the idea of invariance under replacement as a criterion for logicality.
PubDate: 2018-11-01

• Pecularities of Some Three- and Four-Valued Second Order Logics
• Abstract: Logics that have many truth values—more than just True and False—have been argued to be useful in the analysis of very many philosophical and linguistic puzzles (as well, sometimes, in various computational-oriented tasks). In this paper, which is a followup to (Hazen and Pelletier in K3, Ł3, LP, RM3, A3, FDE, M: How to make many-valued logics work for you. Winning paper for the Canadian Schotch-Jennings Prize, one of the prizes of the Universal Logic competition in 2018; Notre Dame J Form Log 59, 2018), we will start with a particularly well-motivated four-valued logic that has been studied mainly in its propositional and first-order versions. And we will then investigate its second-order version. This four-valued logic has two natural three-valued extensions: what is called a “gap logic” (some formulas are neither True nor False), and what is called a “glut logic” (some formulas are both True and False). We mention various results about the second-order version of these logics as well. And we then follow our earlier papers, where we had added a specific conditional connective to the three valued logics, and now add that connective to the four-valued logic under consideration. We then show that, although this addition is “conservative” in the sense that no new theorems are generated in the four-valued logic unless they employ this new conditional in their statement, nevertheless the resulting second-order versions of these logics with and without the conditional are quite different in important ways. We close with a moral for logical investigations in this realm.
PubDate: 2018-11-01

• On the Modal Logic of Jeffrey Conditionalization
• Abstract: We continue the investigations initiated in the recent papers (Brown et al. in The modal logic of Bayesian belief revision, 2017; Gyenis in Standard Bayes logic is not finitely axiomatizable, 2018) where Bayes logics have been introduced to study the general laws of Bayesian belief revision. In Bayesian belief revision a Bayesian agent revises (updates) his prior belief by conditionalizing the prior on some evidence using the Bayes rule. In this paper we take the more general Jeffrey formula as a conditioning device and study the corresponding modal logics that we call Jeffrey logics, focusing mainly on the countable case. The containment relations among these modal logics are determined and it is shown that the logic of Bayes and Jeffrey updating are very close. It is shown that the modal logic of belief revision determined by probabilities on a finite or countably infinite set of elementary propositions is not finitely axiomatizable. The significance of this result is that it clearly indicates that axiomatic approaches to belief revision might be severely limited.
PubDate: 2018-11-01

• Generalized Correspondence Analysis for Three-Valued Logics
• Abstract: Correspondence analysis is Kooi and Tamminga’s universal approach which generates in one go sound and complete natural deduction systems with independent inference rules for tabular extensions of many-valued functionally incomplete logics. Originally, this method was applied to Asenjo–Priest’s paraconsistent logic of paradox LP. As a result, one has natural deduction systems for all the logics obtainable from the basic three-valued connectives of LP (which is built in the $$\{\vee ,\wedge ,\lnot \}$$ -language) by the addition of unary and binary connectives. Tamminga has also applied this technique to the paracomplete analogue of LP, strong Kleene logic $$\mathbf K_3$$ . In this paper, we generalize these results for the negative fragments of LP and $$\mathbf K_3$$ , respectively. Thus, the method of correspondence analysis works for the logics which have the same negations as LP or $$\mathbf K_3$$ , but either have different conjunctions or disjunctions or even don’t have them as well at all. Besides, we show that correspondence analyses for the negative fragments of $$\mathbf K_3$$ and LP, respectively, are also suitable without any changes for the negative fragments of Heyting’s logic $$\mathbf G_3$$ and its dual $$\mathbf DG_3$$ (which have different interpretations of negation than $$\mathbf K_3$$ and LP).
PubDate: 2018-11-01

• A Note on a Description Logic of Concept and Role Typicality for
Defeasible Reasoning Over Ontologies
• Abstract: In this work, we propose a meaningful extension of description logics for non-monotonic reasoning. We introduce  $$\mathcal {ALCH}^{\bullet }$$ , a logic allowing for the representation of and reasoning about both typical class-membership and typical instances of a relation. We propose a preferential semantics for  $$\mathcal {ALCH}^{\bullet }$$ in terms of partially-ordered DL interpretations which intuitively captures the notions of typicality we are interested in. We define a tableau-based algorithm for checking  $$\mathcal {ALCH}^{\bullet }$$ knowledge-base consistency that always terminates and we show that it is sound and complete w.r.t. our preferential semantics. The general framework we here propose can serve as the foundation for further exploration of non-monotonic reasoning in description logics and similarly structured logics.
PubDate: 2018-11-01

• Canonical Extensions and Kripke–Galois Semantics for
Non-distributive Logics
• Abstract: This article presents an approach to the semantics of non-distributive propositional logics that is based on a lattice representation (and duality) theorem that delivers a canonical extension of the lattice. Our approach supports both a plain Kripke-style semantics and, by restriction, a general frame semantics. Unlike the framework of generalized Kripke frames (RS-frames), the semantic approach presented in this article is suitable for modeling applied logics (such as temporal, or dynamic), as it respects the intended interpretation of the logical operators. This is made possible by restricting admissible interpretations.
PubDate: 2018-11-01

• Logic Prizes et Cætera
• Abstract: I discuss the origin and development of logic prizes around the world. In a first section I describe how I started this project by creating the Newton da Costa Logic Prize in Brazil in 2014. In a second section I explain how this idea was extended into the world through the manifesto A Logic Prize in Every Country! and how was organized the Logic Prizes Contest at the 6th UNILOG (World Congress and School on Universal Logic) in Vichy in June 2018 with the participation of 9 logic prizes winners from 9 countries. In a third section I discuss how this project will develop in the future with the creation of more logic prizes, an Encyclopædia of Logic, the book series Logic PhDs, as well as the creation of a World Logic Day, January 14, day of birth of Alfred Tarski and of death of Kurt Gödel.
PubDate: 2018-11-01

• New Logics for Quantum Non-individuals'
• Abstract: According to a very widespread interpretation of the metaphysical nature of quantum entities—the so-called Received View on quantum non-individuality—, quantum entities are non-individuals. Still according to this understanding, non-individuals are entities for which identity is restricted or else does not apply at all. As a consequence, it is said, such approach to quantum mechanics would require that classical logic be revised, given that it is somehow committed with the unrestricted validity of identity. In this paper we examine the arguments to the inadequacy of classical logic to deal with non-individuals, as previously defined, and argue that they fail to make a good case for logical revision. In fact, classical logic may accommodate non-individuals in that specific sense too. What is more pressing for the Received View, it seems, is not a revision of logic, but rather a more adequate metaphysical characterization of non-individuals.
PubDate: 2018-11-01

• Developing Metalogic to Formalize Ontological Disputes of the Systems in
Metaphysics by Introducing the Notion of Functionally Isomorphic
Quantifiers
• Abstract: A general meta-logical theory is developed by considering ontological disputes in the systems of metaphysics. The usefulness of this general meta-logical theory is demonstrated by considering the case of the ontological dispute between the metaphysical systems of Lewis’ Modal Realism and Terence Parsons’ Meinongianism. Using Quine’s criterion of ontological commitments and his views on ontological disagreement, three principles of metalogic is formulated. Based on the three principles of metalogic, the notions of independent variable and dependent variable are introduced. Then, the ontological dispute between Lewis’ Modal Realism and Terence Parsons’ Meinongianism are restated in the light of the principles of metalogic. After the restatement, Independent variable and dependent variables are fixed in both Lewis’ Modal Realism and Terence Parsons’ Meinongianism to resolve the dispute. Subsequently, a new variety of quantifiers are introduced which is known as functionally isomorphic quantifiers to provide a formal representation of the resolution of the dispute. The specific functionally isomorphic quantifier which is developed in this work is known as st-quantifier. It is indicated that how st-quantifier which is one of the functionally isomorphic quantifiers can function like existential quantifier. It is also shown that there is some kind of inconsistency which is unavoidable in stating the ontological disagreement and therefore, paraconsistent logic is a requirement in stating the ontological disputes.
PubDate: 2018-11-01

• Innovation and Application of Logic: An Interview with Jaakko Hintikka
• Abstract: I visited Professor Hintikka and discussed with him about ten times during my visit to Harvard University from 2000 to 2001. I can still vividly remember my first visit to him in his office and then Jaakko inviting me for lunch in the BU faculty club, including how I tried my best to ‘show’ my knowledge of Aristotle and Frege, with a hope that it was my first but not the last talk with him and how really excited I was when he kindly said to me after lunch: “You are welcome to visit me again at the same time in two weeks”. In my view Hintikka was a brilliant philosopher and logician, and also a very kind and engaging person from and with whom one can constantly learn new ideas without limitations.
PubDate: 2018-08-28

• To Peirce Hintikka’s Thoughts
• Abstract: This paper compares Peirce’s and Hintikka’s logical philosophies and identifies a cross-section of similarities in their thoughts in the areas of action-first epistemology, pragmaticist meaning, philosophy of science, and philosophy of logic and mathematics.
PubDate: 2018-08-14

• Correction to: Sequent Systems for Negative Modalities
• Authors: Ori Lahav; João Marcos; Yoni Zohar
Abstract: In the original publication, the corresponding author was indicated incorrectly. The correct corresponding author of the article should be Ori Lahav. The original article has been updated accordingly.
PubDate: 2017-11-29
DOI: 10.1007/s11787-017-0183-2

JournalTOCs
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, EH14 4AS, UK
Email: journaltocs@hw.ac.uk
Tel: +00 44 (0)131 4513762
Fax: +00 44 (0)131 4513327

Home (Search)
Subjects A-Z
Publishers A-Z
Customise
APIs