Browse “Formal languages” in an alphabetical list of subjects

Browse by subject help: Search within an alphabetical list of all Library of Congress Subject Headings - Opens in new windowopen_in_new (LCSH) indexed in the Library catalog.

Subject Records
Subject:
Formal Inference-Based Recursive Modeling (FIRM) 1 record
1 record
Subject:
Formal language--Congresses 1 record
1 record
We found a matching subject in our catalog for: Formal languages.
Subject:
Formal languages About this subject - Opens in new windowopen_in_new 191 records
Broader terms (in subject list):
  1. Formalization (Linguistics) (14 records)
  2. Language and languages (7008 records)
  3. Machine theory (1206 records)
Narrower terms (in subject list):
  1. AUTOMATH (Formal language) (7 records)
  2. Fuzzy languages (1 record)
  3. Graph grammars (9 records)
  4. L systems (13 records)
  5. PARIS (Formal language) (0 records)
  6. Parsing (Computer grammar) (51 records)
  7. SYNTOL (Formal language) (0 records)
191 records
Subject:
Formal languages--Congresses About this subject - Opens in new windowopen_in_new 67 records
67 records
Subject:
Formal languages--History 1 record
1 record
Subject:
Formal languages--Periodicals 4 records
4 records
Subject:
Formal languages--Philosophy 1 record
1 record
Subject:
Formal languages--Semantics About this subject - Opens in new windowopen_in_new 11 records
Broader term (in subject list):
  1. Semantics (2130 records)
11 records
Subject:
Formal languages--Semantics--Congresses 1 record
1 record
Subject:
Formal languages--Syntax About this subject - Opens in new windowopen_in_new 1 record
1 record
Subject:
Formal methods (Computer science) About this subject - Opens in new windowopen_in_new 78 records
Broader term (in subject list):
  1. System design (923 records)
78 records
Subject:
Formal methods (Computer science)--Congresses About this subject - Opens in new windowopen_in_new 206 records
206 records
Subject:
Formal methods (Computer science)--Design and construction--Mathematics--Congresses 1 record
1 record
Subject:
Formal methods (Computer science)--Industrial applications 1 record
1 record
Subject:
Formal methods (Computer science)--Mathematics--Design and construction--Congresses 2 records
2 records
Subject:
Formal methods (Computer science)--Study and teaching--Congresses 1 record
1 record
Subject:
Formaldehyde About this subject - Opens in new windowopen_in_new 75 records
Broader terms (in subject list):
  1. Aldehydes (55 records)
  2. Disinfection and disinfectants (214 records)
Narrower terms (in subject list):
  1. Polyoxymethylene (2 records)
  2. Rongalite (0 records)
  3. Wood products--Formaldehyde release (3 records)
75 records
Subject:
Formaldehyde--Allergenicity About this subject - Opens in new windowopen_in_new 1 record
1 record
Subject:
Formaldehyde--Analysis 3 records
3 records
Subject:
Formaldehyde--Analysis--Congresses 2 records
2 records

The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language anonymously through our metadata feedback form. More information at Remediation of Harmful Language.

Give feedback about this page - Opens in new windowopen_in_new