Log in

Relevant bibliographies by topics / Sublanguages / Journal articles

To see the other types of publications on this topic, follow the link: Sublanguages.

Journal articles on the topic 'Sublanguages'

Author: Grafiati

Published: 25 July 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Sublanguages.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Santini, Marina, and Min-Chun Shih. "Exploring the Potential of an Extensible Domain-Specific Web Corpus for “Layfication”." International Journal of Cyber-Physical Systems 2, no. 1 (2020): 20–32. http://dx.doi.org/10.4018/ijcps.2020010102.

Full text

Abstract:

This article presents experiments based on the extensible domain-specific web corpus for “layfication”. For these experiments, both the existing layfication corpus (in Swedish and in English) and a new addition in English (the NHS-PubMed subcorpus) are used. With this extended corpus, methods to classify lay-specialized medical sublanguages cross-linguistically using small data and noisy web documents are investigated. Sublanguage is a language variety used in specific domains. Here, the authors focus on two medical sublanguages, namely the “patientspeak” (lay) and the medical jargon (speciali

APA, Harvard, Vancouver, ISO, and other styles

2

Grön, Leonie, and Ann Bertels. "Clinical sublanguages." Computational terminology and filtering of terminological information 24, no. 1 (2018): 41–65. http://dx.doi.org/10.1075/term.00013.gro.

Full text

Abstract:

Abstract Due to its specific linguistic properties, the language found in clinical records has been characterized as a distinct sublanguage. Even within the clinical domain, though, there are major differences in language use, which has led to more fine-grained distinctions based on medical fields and document types. However, previous work has mostly neglected the influence of term variation. By contrast, we propose to integrate the potential for term variation in the characterization of clinical sublanguages. By analyzing a corpus of clinical records, we show that the different sections of th

APA, Harvard, Vancouver, ISO, and other styles

3

Williams, Geoffrey. "Collocational Networks." International Journal of Corpus Linguistics 3, no. 1 (1998): 151–71. http://dx.doi.org/10.1075/ijcl.3.1.07wil.

Full text

Abstract:

Scientific sublanguages evolve in accordance with the needs of the Discourse Community (DC) with new words being coined and a gradual change in the meanings expressed through existing lexis. In so far as the central concepts relate to each other, similar relational patterns emerge in their surface constructs, words. Consequently, the "frame of reference" for a given lexical item is to be found in the genre-specific lexical environment of that word. This is revealed through collocation, as measured using Mutual Information statistics. It is further posited that the conceptual frameworks of scie

APA, Harvard, Vancouver, ISO, and other styles

4

Miloud, M. R. "Structural peculiarities of professionally-communicative sublanguages of Computer terminology and nanotechnology." Communication studies 6, no. 4 (2019): 1072–91. http://dx.doi.org/10.24147/2413-6182.2019.6(4).1072-1091.

Full text

Abstract:

The paper is devoted to the study of structural features of computer and nanotechnological sublanguages. It reveals the structural similarities and differences in the sublanguages of informatics and nanotechnology, provides a classification of terms based on an analysis of their structural components, and examines the regularities of the functioning of the terms of these sublanguages. The basics of differentiation of derived and non-derivative monolexemic units, as well as differentiation of composites and phrases in these sublanguages are given in this article. The functional characteristics

APA, Harvard, Vancouver, ISO, and other styles

5

Hasson, Assaf, and Martin Hils. "Fusion over sublanguages." Journal of Symbolic Logic 71, no. 2 (2006): 361–98. http://dx.doi.org/10.2178/jsl/1146620149.

Full text

Abstract:

AbstractGeneralising Hrushovski's fusion technique we construct the free fusion of two strongly minimal theories T1. T2 intersecting in a totally categorical sub-theory T0. We show that if. e.g., T0 is the theory of infinite vector spaces over a finite field then the fusion theory Tω, exists, is complete and ω-stable of rank ω. We give a detailed geometrical analysis of Tω, proving that if both T1, T2 are 1-based then. Tω can be collapsed into a strongly minimal theory, if some additional technical conditions hold—all trivially satisfied if T0 is the theory of infinite vector spaces over a fin

APA, Harvard, Vancouver, ISO, and other styles

6

Dolbilova, Daria Vladimirovna. "Functions of an integrated type learner's dictionary in professionally oriented teaching of Russian as a foreign language in a non-linguistic university." Pedagogy. Theory & Practice 10, no. 6 (2025): 811–17. https://doi.org/10.30853/ped20250096.

Full text

Abstract:

The aim of this research is to systematize the functions of learner's dictionaries in the aspect of teaching foreign students a specialized sublanguage, based on the linguo-methodological conditions for using such dictionaries, and to identify options for implementing these functions in lexicographical products of an integrated type. The article defines the concept of an "integrated learner's dictionary" for specialized sublanguages. Within interdisciplinary and anthropocentric frameworks, it describes optimal usage conditions, reviews existing theories on learner's dictionary functions, and p

APA, Harvard, Vancouver, ISO, and other styles

7

Jain, Sanjay, and Efim Kinber. "Learning and extending sublanguages." Theoretical Computer Science 397, no. 1-3 (2008): 233–46. http://dx.doi.org/10.1016/j.tcs.2008.02.031.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Brekke, Magnar. "On the Translatability of Sublanguages." FORUM / Revue internationale d’interprétation et de traduction / International Journal of Interpretation and Translation 2, no. 2 (2004): 241–61. http://dx.doi.org/10.1075/forum.2.2.13bre.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Oshchepkova, Tamara, and Mohammad Awad AlAfnan. "Some Tendencies in the Development of the Terminology of Hermeneutics in the English Language." Theory and Practice in Language Studies 13, no. 1 (2022): 35–41. http://dx.doi.org/10.17507/tpls.1301.05.

Full text

Abstract:

Although terminology is a branch of linguistics with a long history, a number of terminological systems have not been thoroughly analyzed. One of the areas that falls into this category is the terminology of humanitarian subjects because the way their terminology is formed differs from the term formation of STEM disciplines. Sublanguages of humanitarian disciplines quite often borrow general language words, which can be explained by the fact that the area of their studies is related to general rules of society functioning. In the course of transfer from the general language to domain-specific

APA, Harvard, Vancouver, ISO, and other styles

10

Martin, Gary A. "Definability in reducts of algebraically closed fields." Journal of Symbolic Logic 53, no. 1 (1988): 188–99. http://dx.doi.org/10.1017/s0022481200029029.

Full text

Abstract:

Let K be an algebraically closed field and let L be its canonical language; that is, L consists of all relations on K which are definable from addition, multiplication, and parameters from K. Two sublanguages L1 and L2 of L are definably equivalent if each relation in L1 can be defined by an L2-formula with parameters in K, and vice versa. The equivalence classes of sublanguages of L form a quotient lattice of the power set of L about which very little is known. We will not distinguish between a sublanguage and its equivalence class.Let Lm denote the language of multiplication alone, and let L

APA, Harvard, Vancouver, ISO, and other styles

11

Basili, Roberto, Maria Teresa Pazienza, and Paola Velardi. "Acquisition of selectional patterns in sublanguages." Machine Translation 8, no. 3 (1993): 175–201. http://dx.doi.org/10.1007/bf00982638.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Fa, Jinghuai, Xiaojun Yang, and Yingping Zheng. "Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage." Systems & Control Letters 20, no. 1 (1993): 11–18. http://dx.doi.org/10.1016/0167-6911(93)90082-h.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Banach, Richard. "MONSTR I - Fundamental Issues and the Design of MONSTR." JUCS - Journal of Universal Computer Science 2, no. (4) (1996): 164–216. https://doi.org/10.3217/jucs-002-04-0164.

Full text

Abstract:

This is the first in a series of papers dealing with the implementation of an extended term graph rewriting model of computation (described by the DACTL language) on a distributed store architecture. In this paper we set out the high level model, and under some simple restrictions, prove an abstract packet store implementation correct modulo garbage. The abstract packet store model is compared to a more realistic and finegrained packet store model, more closely related to the properties of a genuine distributed store architecture, and the differences are used to inspire the definition of the M

APA, Harvard, Vancouver, ISO, and other styles

14

Lee Humphreys, R. "From Blazonry to PoliceSpeak." English Today 7, no. 3 (1991): 37–39. http://dx.doi.org/10.1017/s0266078400005733.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Komenda, Jan, and Tomáš Masopust. "Supremal Normal Sublanguages in Hierarchical Supervisory Control." IFAC Proceedings Volumes 43, no. 12 (2010): 111–16. http://dx.doi.org/10.3182/20100830-3-de-4013.00020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

Hashtrudi Zad, S., M. Moosaei, and W. M. Wonham. "On computation of supremal controllable, normal sublanguages." Systems & Control Letters 54, no. 9 (2005): 871–76. http://dx.doi.org/10.1016/j.sysconle.2005.01.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Karlgren, Jussi. "Sublanguages and registers: a note on terminology." Interacting with Computers 5, no. 3 (1993): 348–50. http://dx.doi.org/10.1016/0953-5438(93)90015-l.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Komenda, Jan, and Tomáš Masopust. "Distributed computation of supremal conditionally controllable sublanguages." International Journal of Control 89, no. 2 (2015): 424–36. http://dx.doi.org/10.1080/00207179.2015.1079736.

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

Buzheninov, Alexander E. "Categorical modeling of the sublanguage of homeopathy." Izvestiya of Saratov University. Philology. Journalism 24, no. 2 (2024): 147–52. http://dx.doi.org/10.18500/1817-7115-2024-24-2-147-152.

Full text

Abstract:

The article considers the categorical modeling of the sublanguage of homeopathy. The sublanguage of a professional area of knowledge and/or activity is a means of verbalizing its notions, concepts and categories, and serves as a form of creation, interpretation, storage and communication of special knowledge. On the material of 1258 terms and general literary words from homeopathic dictionaries, monographs and tutorials on homeopathy, 8 universal ontological and epistemological categories are distinguished (categories of agent, state, processes, occupations, properties, values, sciences and br

APA, Harvard, Vancouver, ISO, and other styles

20

Ben-Kalefa, Majed, and Feng Lin. "Opaque Superlanguages and Sublanguages in Discrete Event Systems." Cybernetics and Systems 47, no. 5 (2016): 392–426. http://dx.doi.org/10.1080/01969722.2016.1187032.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Cantone, D., and V. Cutello. "Decision procedures for elementary sublanguages of set theory." Journal of Automated Reasoning 6, no. 2 (1990): 189–201. http://dx.doi.org/10.1007/bf00245818.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Brandt, R. D., V. Garg, R. Kumar, F. Lin, S. I. Marcus, and W. M. Wonham. "Formulas for calculating supremal controllable and normal sublanguages." Systems & Control Letters 15, no. 2 (1990): 111–17. http://dx.doi.org/10.1016/0167-6911(90)90004-e.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Marinich, Lyudmila Ph, and Zhanna I. Prytkova. "LINGUACULTURAL APPROACH TO TRANSLATING SCIENTIFIC AND TECHNOLOGICAL TERMINOLOGY (WITH SPECIAL REFERENCE TO SUBLANGUAGES OF ARCHITECTURE AND POWER ENGINEERING)." HUMANITIES AND SOCIAL STUDIES IN THE FAR EAST 20, no. 1 (2023): 171–78. http://dx.doi.org/10.31079/1992-2868-2023-20-1-171-178.

Full text

Abstract:

The article deals with the significance of linguacultural awareness for comprehension, proper interpretation and adequate translation of professional terms and culturally significant text constituents within the framework of the discipline “English for Specific Purposes”. The research is based on the analysis of the terminology of the sublanguages “Architecture” and “Power Engineering”.

APA, Harvard, Vancouver, ISO, and other styles

24

Komenda, Jan, and Jan H. Van Schuppen. "Supremal normal sublanguages of large distributed discrete-event systems." IFAC Proceedings Volumes 37, no. 18 (2004): 75–80. http://dx.doi.org/10.1016/s1474-6670(17)30725-5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Cai, Kai, Renyuan Zhang, and W. M. Wonham. "Characterizations and effective computation of supremal relatively observable sublanguages." Discrete Event Dynamic Systems 28, no. 2 (2017): 269–87. http://dx.doi.org/10.1007/s10626-017-0250-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

CUCCHIARELLI, ALESSANDRO, and PAOLA VELARDI. "Finding a domain-appropriate sense inventory for semantically tagging a corpus." Natural Language Engineering 4, no. 4 (1998): 325–44. http://dx.doi.org/10.1017/s1351324998002071.

Full text

Abstract:

Semantically tagging a corpus is useful for many intermediate NLP tasks such as: acquisition of word argument structures in sublanguages; acquisition of syntactic disambiguation cues; terminology learning; etc. The general idea is that semantic tags allow the generalization of observed word patterns, and facilitate the discovery of recurrent sublanguage phenomena and selectional rules of various types. Yet, as opposed to POS tags in morphology, there is no consensus in the literature about the type and granularity of the semantic tags to be used. In this paper, we argue that an appropriate sel

APA, Harvard, Vancouver, ISO, and other styles

27

Moor, Thomas, Christine Baier, Tae-Sic Yoo, Feng Lin, and Stéphane Lafortune. "On the Computation of Supremal Sublanguages Relevant to Supervisory Control." IFAC Proceedings Volumes 45, no. 29 (2012): 175–80. http://dx.doi.org/10.3182/20121003-3-mx-4033.00030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

Cai, Kai, Renyuan Zhang, and W. M. Wonham. "Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages." IEEE Transactions on Automatic Control 60, no. 3 (2015): 659–70. http://dx.doi.org/10.1109/tac.2014.2341891.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Su, Rong. "A Polynomial-Time Algorithm for Computing Finite-Makespan Controllable Sublanguages." IEEE Transactions on Automatic Control 60, no. 2 (2015): 534–39. http://dx.doi.org/10.1109/tac.2014.2342099.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Bonzi, Susan. "Syntactic patterns in scientific sublanguages: A study of four disciplines." Journal of the American Society for Information Science 41, no. 2 (1990): 121–31. http://dx.doi.org/10.1002/(sici)1097-4571(199003)41:2<121::aid-asi5>3.0.co;2-s.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Singh, Rajendra, and Balkrishan Kachroo. "Textual Cohesion in Hindi." ITL - International Journal of Applied Linguistics 76 (January 1, 1987): 1–24. http://dx.doi.org/10.1075/itl.76.01sin.

Full text

Abstract:

The purpose of this paper is to summarize some preliminary research on textual cohesion in Hindi. The study of linguistic cohesion attempts to isolate linguistic devices used to ‘link’ sentences in a discourse. The present study was undertaken to find out exactly what cohesion devices are used in Hindi and how the linking texture of Hindi discourses differs from that of English. Although both Hindi and English use some of the same cohesion devices, there are both quantitative and qualitative differences in their textures. This paper focuses on Hindi-particular cohesion devices and on devices d

APA, Harvard, Vancouver, ISO, and other styles

32

M. Daoud, Daoud, Samir A. El-Seoud, and Christian Boitet. "Structured and Quantitative Proparties of Arabic SMS-Based Classified ADS Sublanguages." International Journal on Natural Language Computing 5, no. 1 (2016): 01–14. http://dx.doi.org/10.5121/ijnlc.2016.5101.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Takai, S., R. Kumar, and T. Ushio. "Characterization of co-observable languages and formulas for their super/sublanguages." IEEE Transactions on Automatic Control 50, no. 4 (2005): 434–47. http://dx.doi.org/10.1109/tac.2005.844724.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

HARRIS, ZELLIG, and PAUL MATTICK. "Science Sublanguages and the Prospects for a Global Language of Science." ANNALS of the American Academy of Political and Social Science 495, no. 1 (1988): 73–83. http://dx.doi.org/10.1177/0002716288495001007.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

BOCHAN, P. O. "ENGLISH-LANGUAGE SPORT TERMINOLOGISMS: SUBLANGUAGES OF ORIGIN AND SPHERES OF FUNCTIONING." Research Bulletin Series Philological Sciences, no. 208 (2024): 55–60. http://dx.doi.org/10.32782/2522-4077-2024-208-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

NOMURA, Masashi, and Shigemasa TAKAI. "Computation of Sublanguages for Synthesizing Decentralized Supervisors for Timed Discrete Event Systems." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96.A, no. 1 (2013): 345–55. http://dx.doi.org/10.1587/transfun.e96.a.345.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Cai, Kai, Renyuan Zhang, and W. M. Wonham. "Correction to “Relative Observability of Discrete-Event Systems and Its Supremal Sublanguages”." IEEE Transactions on Automatic Control 62, no. 1 (2017): 511. http://dx.doi.org/10.1109/tac.2016.2545867.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Friedman, Carol, Pauline Kra, and Andrey Rzhetsky. "Two biomedical sublanguages: a description based on the theories of Zellig Harris." Journal of Biomedical Informatics 35, no. 4 (2002): 222–35. http://dx.doi.org/10.1016/s1532-0464(03)00012-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

39

Komenda, Jan, and Tomáš Masopust. "Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication." Discrete Event Dynamic Systems 27, no. 4 (2017): 585–608. http://dx.doi.org/10.1007/s10626-017-0249-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

TAKAI, S., and Y. BAI. "Computation of Controllable Sublanguages for Unbounded Petri Nets Using Their Approximation Models." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, no. 11 (2006): 3250–53. http://dx.doi.org/10.1093/ietfec/e89-a.11.3250.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Cho, Hangju, and Steven I. Marcus. "Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations." Mathematical Systems Theory 22, no. 1 (1989): 177–211. http://dx.doi.org/10.1007/bf02088297.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Takai, Shigemasa, and Toshimitsu Ushio. "COMPUTATION OF CLOSED, CONTROLLABLE, AND WEAKLY OBSERVABLE SUBLANGUAGES FOR TIMED DISCRETE EVENT SYSTEMS." IFAC Proceedings Volumes 38, no. 1 (2005): 139–44. http://dx.doi.org/10.3182/20050703-6-cz-1902.00308.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Komenda, Jan, Tomáš Masopust, and Jan H. van Schuppen. "Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator." Systems & Control Letters 60, no. 7 (2011): 492–502. http://dx.doi.org/10.1016/j.sysconle.2011.04.005.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Komenda, Jan, Tomáš Masopust, and Jan H. van Schuppen. "Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems." IFAC Proceedings Volumes 43, no. 12 (2010): 426–31. http://dx.doi.org/10.3182/20100830-3-de-4013.00070.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Cantone, Domenico, Andrea De Domenico, Pietro Maugeri, and Eugenio G. Omodeo. "Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case*." Fundamenta Informaticae 181, no. 1 (2021): 37–69. http://dx.doi.org/10.3233/fi-2021-2050.

Full text

Abstract:

We report on an investigation aimed at identifying small fragments of set theory (typically, sublanguages of Multi-Level Syllogistic) endowed with polynomial-time satisfiability decision tests, potentially useful for automated proof verification. Leaving out of consideration the membership relator ∈ for the time being, in this paper we provide a complete taxonomy of the polynomial and the NP-complete fragments involving, besides variables intended to range over the von Neumann set-universe, the Boolean operators ∪ ∩ \, the Boolean relators ⊆, ⊈,=, ≠, and the predicates ‘• = Ø’ and ‘Disj(•, •)’

APA, Harvard, Vancouver, ISO, and other styles

46

Cho, Hangju, and Steven I. Marcus. "On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation." Mathematics of Control, Signals, and Systems 2, no. 1 (1989): 47–69. http://dx.doi.org/10.1007/bf02551361.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Чуева, М. В. "О некоторых структурных аспектах итерации как средства номинации в русскоязычном субстандарте (в сопоставлении с английским)". Cherepovets State University Bulletin, № 6(123) (22 листопада 2024): 153–64. https://doi.org/10.23859/1994-0637-2024-6-123-14.

Full text

Abstract:

В субстандарте английского языка отмечается способ структурно отмеченной номинации, состоящий в повторении фономорфологических элементов или фрагментов слов, частично пересекающийся с понятием редупликации, но более широкий по охвату. В данной работе сделана попытка описать и более подробно, чем в предшествующих работах, классифицировать разнообразие аналогичных механизмов в русскоязычном сленге в целом (а не в отдельных подъязыках) в сопоставлении с таковыми в английском. Материалом стали соответствующие по форме единицы, извлеченные методом сплошной выборки из двух словарей. In the English s

APA, Harvard, Vancouver, ISO, and other styles

48

Luca, Aliona, and Viorica Brega. "Syntagmatic Sports Terms: Structural and Semantic Features." Philologia 323, no. 2 (2024): 105–14. https://doi.org/10.52505/1857-4300.2024.2(323).10.

Full text

Abstract:

The main purpose of this paper is to reveal some lexical-semantic and structural features of syntagmatic sports terms. The syntagmatic terms from several sports disciplines were identified, as subsystems of sports terminology in Romanian language; their role in the sports terminological system was determined; the ways of forming the respective terms were highlighted; the classification of syntagmatic sports terms was carried out from a structural and semantic point of view. As a result of the study, it was found that syntagmatic terms occupy a significant role in sports terminological system,

APA, Harvard, Vancouver, ISO, and other styles

49

Cantone, D., A. Ferro, and J. T. Schwartz. "Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator." Journal of Computer and System Sciences 34, no. 1 (1987): 1–18. http://dx.doi.org/10.1016/0022-0000(87)90001-8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

Cantone, D., J. T. Schwartz, and A. Ferro. "Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator." Communications on Pure and Applied Mathematics 38, no. 5 (1985): 549–71. http://dx.doi.org/10.1002/cpa.3160380507.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!